Title Statements
- Full title :Lambda calculus with types / Henk Barendregt, Radbound University, Nijmegen, Wil Dekkers, Radbound University, Nijmegen, Richard Statman, Carnegie Mellon University ; with contributions from Fabio Alessi, Marc Bezem, Felice Cardone, Mario Coppo, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Pawel Urzyczyn.
Edition Statements
- Publication Date:2013.
Publication Statements
- Publisher(s):Association for Symbolic Logic
- Place of Publication:Ithaca, NY
- Language:eng
- Publication Date:2013.
The Physical Object
- Description:xxii, 833 pages : : illustrations (black and white, and colour) ; : 26 cm.
Edition Identifiers
- ISBN:9780521766142, 0521766141
- oclc:ocn858074577
- LC Classification:QA
- Dewey Decimal:511.35
Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Lambda-Calculus, Combinators, and Functional Programming
0.0
Type: Book
Lambda Calculus with Types
0.0
Type: Book
Files & Downloads
-
Lambda Calculus with Types -- (.pdf)
PDF · 4.4 MB · updated
Rate & Review