Lambda-calcul types et modèles

Author/Creator
Krivine, J. L. (Jean Louis)
Language
French.
Imprint
Paris : Masson, 1990.
Physical description
viii, 176 p. ; 25 cm.
Series
Etudes et recherches en informatique.

Browse related items

Start at call number:
Librarian view | Catkey: 9599469