On Computational Interpretations of the Modal Logic S4 Iiib. Connuence, Termination of the Evq H -calculus

@inproceedings{GoubaultLarrecq1997OnCI,
  title={On Computational Interpretations of the Modal Logic S4 Iiib. Connuence, Termination of the Evq H -calculus},
  author={Jean Goubault-Larrecq},
  year={1997}
}

From This Paper

Topics from this paper.
9 Citations
16 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 16 references

A recursive path ordering for higher-order terms compatible with -reductions

  • Jean-Pierre Jr96a, Albert Jouannaud, Rubio
  • RTA'96 (submitted)
  • 1996

On computational interpretations of the modal logic S4 I. Cut elimination

  • Jean Gl96a, Goubault-Larrecq
  • On computational interpretations of the modal…
  • 1996

On computational interpretations of the modal logic S4 II. The evQ-calculus

  • Jean Gl96b, Goubault-Larrecq
  • On computational interpretations of the modal…
  • 1996

On computational interpretations of the modal logic S4 III. Termination, connuence, conservativity of evQ and evQ H Available soon on ftp

  • Jean Gl96c, Goubault-Larrecq
  • On computational interpretations of the modal…
  • 1996

Type checking in system F Available at http://hypatia

  • Christophe Raaalli
  • Type checking in system F Available at http…
  • 1996

A very well known theorem

  • Michael Marz, Peter Selinger
  • SemSoc Newsletter
  • 1995

Similar Papers

Loading similar papers…