λμ-Calculus: An algorithmic interpretation of classical natural deduction

  • Michel Parigot
Session 8: Logical Frameworks
Part of the Lecture Notes in Computer Science book series (LNCS, volume 624)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1992

Authors and Affiliations

  • Michel Parigot
    • 1
  1. 1.Equipe de logique - CNRS UA 753 45-55 5éme étageUniversité Paris 7Paris Cedex 05France

Personalised recommendations