An edition of Lambda Calculus with Types
(2013)
Lambda Calculus with Types
by Henk Barendregt, Wil Dekkers, and Richard Statman
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
|
zzzz
|
|
2
|
zzzz
|
|
3
|
aaaa
|
|
4
|
zzzz
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists
| October 5, 2021 | Created by ImportBot | import new book |