Advertisement

Internal labellings in lambda-calculus

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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