A confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1999

A confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point

Abstract

We prove the confluence of a lambda-calculus of exception handling whose typing system and evaluation rules are initially based on classical logic through the Curry-Howard isomorphism and to which we have added a general fixed-point operator.
No file

Dates and versions

inria-00098837 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00098837 , version 1

Cite

Catherine Pilière. A confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point. 12th International Symposium on Fundamentals of Computation Theory - FCT'99, 1999, Iasi, Romania, pp.421-432. ⟨inria-00098837⟩
88 View
0 Download

Share

Gmail Facebook X LinkedIn More