(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-calcul| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | F 4 1 BAR (Browse shelf) | Checked out | F 4 1 Logique mathématique | 27/04/2020 | 00010098 |
Bibliogr. Index