Mail/M'écrire


BIBLIOGRAPHIE

(André Brouty)
[1] - BARENDREGT The lambda calculus its syntax and semantics North Holland Publishing Company 1981.

[2] - HINDLEY, LERCHER and SELDIN Introduction to combinatory logic Cambridge University Press 1972.

[3] - CURRY Combinatory logic (volume 1) North Holland Publishing Company 1958.

[4] - CURRY Combinatory logic (volume 2) North Holland Publishing Company 1972.

[5] - B. ROBINET Petit précis de lambda calcul Institut de Programmation Universite Pierre et Marie Curie Paris.

[6] - M. DEZANI-CIANGAGLINI Characterization of normal forms possessing inverse in the lambda-beta-eta-calculus Theoretical Computer Science vol 2 1976 pp 97-114.

[7] - J. BERGSTRA and J.W. KLOPP Invertible terms in the lambda calculus Theoretical Computer Science vol 11 1980 pp 19-38.

[8] - I. MARGARIA and M. ZACCHI Rigth and left invertibility in the lambda calculus R.A.I.R.O. Informatique Théorique vol 17 no 1 1983 pp 71-88.
This document was translated from LATEX by HEVEA.