A confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point
Résumé
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.