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

Simple item page
dc.creatorDavid, René
dc.creatorNour, Karim
dc.date2009-05-11
dc.date.accessioned2026-07-07T13:13:39Z
dc.date.available2026-07-07T13:13:39Z
dc.descriptionWe give an elementary and purely arithmetical proof of the strong normalization of Parigot's simply typed $λμ$-calculus.
dc.identifierhttps://arxiv.org/abs/0905.1557
dc.identifierhttp://arxiv.org/abs/0905.1557
dc.identifierChambéry-Krakow-Lyon: workshop on $λ$-calculus, type theory and mathematical logic, Computer science department, Cracovic, Pologne, 27-28 Juin 2003, Cracovic : Pologne (2003)
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229963
dc.subjectLogic
dc.titleA short proof of the strong normalization of the simply typed $λμ$-calculus
dc.typetext

Files

Collections

arXiv