Lambda-mu-calculus and Bohm's theorem
Résumé
The lambda mu-calculus is an extension of the lambda-calculus that has been introduced by M. Parigot to give an algorithmic content to classical proofs. We show that Bohm's theorem fails in this calculus.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...