arXiv Analytics

Sign in

arXiv:0905.1557 [math.LO]AbstractReferencesReviewsResources

A short proof of the strong normalization of the simply typed $λμ$-calculus

René David, Karim Nour

Published 2009-05-11Version 1

We give an elementary and purely arithmetical proof of the strong normalization of Parigot's simply typed $\lambda\mu$-calculus.

Journal: Chamb\'ery-Krakow-Lyon: workshop on $\lambda$-calculus, type theory and mathematical logic, Computer science department, Cracovic, Pologne, 27-28 Juin 2003, Cracovic : Pologne (2003)
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:0905.1032 [math.LO] (Published 2009-05-07)
An arithmetical proof of the strong normalization for the $λ$-calculus with recursive equations on types
arXiv:math/9204206 [math.LO] (Published 1992-04-15)
A short proof of the irreflexivity conjecture
arXiv:0905.0760 [math.LO] (Published 2009-05-06)
A short proof of the Strong Normalization of Classical Natural Deduction with Disjunction

Links

Toolbox