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

  • Michel Parigot
Session 8: Logical Frameworks

DOI: 10.1007/BFb0013061

Part of the Lecture Notes in Computer Science book series (LNCS, volume 624)
Cite this paper as:
Parigot M. (1992) λμ-Calculus: An algorithmic interpretation of classical natural deduction. In: Voronkov A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol 624. Springer, Berlin, Heidelberg

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