1.
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
by Henk Barendregt
ISBN: 9781848900660
List Price: $28.00
2.
3.
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
by Barendregt, Henk
ISBN: 9798585284120
4.
Types for Proofs and Programs
by Barendregt, Henk, Nipkow, T...
ISBN: 9783662204559
List Price: $24.99
OUT OF STOCK
See Availability on Amazon5.
6.