Hostname: page-component-784d4fb959-2wsk2 Total loading time: 0 Render date: 2025-07-16T16:53:30.834Z Has data issue: false hasContentIssue false
  • English
  • Français

An environment machine for the λμ-calculus

Published online by Cambridge University Press:  01 December 1998

PHILIPPE de GROOTE
PHILIPPE de GROOTE
Affiliation:
INRIA-Lorraine, 615 rue du Jardin Botanique – B.P. 101, F 54602 Villers-lès-Nancy Cedex – FRANCE. E-mail: Philippe.de.Groote@loria.fr
Get access Rights & Permissions [Opens in a new window]

Abstract

We introduce a natural deduction-like formalisation of Parigot's λμ-calculus. From this, we derive an environment machine that allows any well-typed λμ-term to be reduced to its weak head normal form. The soundness and completeness of the machine is proved.

Information

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 8 , Issue 6 , December 1998 , pp. 637 - 669
Copyright
© 1998 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable