An environment machine for the $\lambda\mu$-calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 1998

An environment machine for the $\lambda\mu$-calculus

Résumé

We introduce a natural deduction-like formalisation of Parigot's lambda mu -calculus. From this, we derive an environment machine that allows any well-typed lambda mu -term to be reduced to its weak head normal form.

Mots clés

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00098499 , version 1 (25-09-2006)

Identifiants

  • HAL Id : inria-00098499 , version 1

Citer

Philippe de Groote. An environment machine for the $\lambda\mu$-calculus. Mathematical Structures in Computer Science, 1998, 8 (6), pp.637-669. ⟨inria-00098499⟩
76 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More