HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

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

Philippe de Groote 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
keyword : n.a n.a.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00098499
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Monday, September 25, 2006 - 5:02:18 PM
Last modification on : Friday, February 4, 2022 - 3:21:42 AM

Identifiers

  • HAL Id : inria-00098499, version 1

Collections

Citation

Philippe de Groote. An environment machine for the $\lambda\mu$-calculus. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 1998, 8 (6), pp.637-669. ⟨inria-00098499⟩

Share

Metrics

Record views

60