H. P. Barendregt
2 published titles
The lambda calculus : its syntax and semantics
2 editions
- ISBN: 0444854908
- North-Holland
- 1981
- Details
- ISBN: 0444867481
- North-Holland
- 1984
- Details
Lambda calculus with types
1 edition
- ISBN: 9780521766142
- Association for Symbolic Logic
- 2013
- Details