Lambda calculus with types
By: Barendregt, Henk.
Contributor(s): Dekkers, Wil | Statman, Richard.
Material type:
BookSeries: Perspecties in logic.Publisher: Cambridge: Cambridge University Press, 2013Description: xxii, 833 p.; ill.: 26 cm.ISBN: 9780521766142 .Subject(s): Lambda calculusDDC classification: 511.35
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.35 BAR (Browse shelf) | Available | 029187 |
Browsing DAIICT Shelves Close shelf browser
| 511.33 POL Ordinary Differential Equations | 511.33 TIT Theory of functions | 511.34 GRA Finite model theory and its applications | 511.35 BAR Lambda calculus with types | 511.35 BOL Formal models of communicating systems : languages, automata and monadic second-order logic | 511.35 CAV Sequential logic : analysis and synthesis | 511.35 DIA Petri nets : fundamental models, verification, and applications |
There are no comments for this item.