(The) lambda calculus [ Livre] : its syntax and semantics / Barendregt Hendrik Pieter
Langue: Anglais.Publication : Elsevier, 1984Description : 621 p. ; 23 CMISBN: 0444875085.Collection: Studies in logic and the foundations of mathematics, 103Classification: 511 Théorie des nombresSujet - Nom commun: Lambda-calculCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 4 1 BAR (Browse shelf) | Available | F 4 1 Logique mathématique | 00010098 |
Bibliogr. Index