Lambda-calcul : types et modèles

Lambda-calcul : types et modèles

Saved in:
Bibliographic Details
Main Author : Krivine Jean-Louis (Auteur)
Format : Book
Language : français
Title statement : Lambda-calcul : types et modèles / Jean-Louis Krivine,...
Published : Paris, Milan, Barcelone [etc.] : Masson , 1990
Physical Description : 1 vol. (VIII-176 p.)
Series : E.R.I. Etudes et recherches en informatique
Subjects :
Logique mathématique
Mathématiques > Informatique
Logique combinatoire
Lambda-calcul

Bib. CRDM (Mathématiques)

Holdings details from Bib. CRDM (Mathématiques)
Location Call Number Loan type Status
Bibliothèque 03C195 Prêt sans prolongation Available