Lambda
Subtitle: calcul, types et modèles
By: Jean-Louis Krivine
Series: Études et recherches en informatique
Publisher: Masson
Published: 1990
Place of publication: Paris
Language: fre
Number of pages: 176
Subjects: Lambda-calcul.
Notes: Bibliogr.

1