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

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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

Keywords

Logic

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/229963

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0905.1557
 http://arxiv.org/abs/0905.1557
 Chambéry-Krakow-Lyon: workshop on $λ$-calculus, type theory and mathematical logic, Computer science department, Cracovic, Pologne, 27-28 Juin 2003, Cracovic : Pologne (2003)

Collections

arXiv