CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic) by Henk Barendregt ISBN: 9781848900660 List Price: $28.00
$30.66
2.
Lambda Calculus with Types
Lambda Calculus with Types by Barendregt, Henk, Dekkers, ... ISBN: 9780521766142 List Price: $90.00
$87.74 (Save 2%)
3.
Types for Proofs and Programs
Types for Proofs and Programs by Barendregt, Henk, Nipkow, T... ISBN: 9783662204559 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
4.
Lambda Calculus Satellite
Lambda Calculus Satellite by Barendregt, Henk, Manzonett... ISBN: 9781848904156 List Price: $28.50
$29.81
5.
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 by Barendregt, Henk ISBN: 9798585284120
$17.31
6.
Lambda Calculus Satellite
Lambda Calculus Satellite by Barendregt, Henk, Manzonett... ISBN: 9781848904248 List Price: $38.50
$39.53