Internal labellings in lambda-calculus

  • Michel Parigot
Part of the Lecture Notes in Computer Science book series (LNCS, volume 452)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ba84]
    H. Barendregt. The lambda-calculus, North-Holland, 1984.Google Scholar
  2. [CD80]
    M. Coppo, M. Dezani. An extension of basic functionality theory for λ-calculus, Notre Dame Journal of Formal Logic 21 (1980) pp 685–693.Google Scholar
  3. [Kr90]
    J.L. Krivine. Lambda-calcul, types et modèles, Masson, 1990 (to appear).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Michel Parigot
    • 1
  1. 1.Equipe de Logique, CNRS — Université Paris 7Paris cedex 05

Personalised recommendations