Sell, buy or rent Henk Barendregt textbooks

9781848900660-184890066X-The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
9781848900660-184890066X-The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)

The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)

by Henk Barendregt
ISBN-13: 9781848900660
ISBN-10: 184890066X
Publication date: 2012
Publisher: College Publications
Format: Paperback 656 pages
Sell Buy from $32.82
9780521766142-0521766141-Lambda Calculus with Types (Perspectives in Logic)
9780521766142-0521766141-Lambda Calculus with Types (Perspectives in Logic)

Lambda Calculus with Types (Perspectives in Logic)

by Henk Barendregt, Wil Dekkers, Richard Statman
ISBN-13: 9780521766142
ISBN-10: 0521766141
Edition: Illustrated
Publication date: 2013
Publisher: Cambridge University Press
Format: Hardcover 856 pages
Sell Buy from $89.82
9781848904156-1848904150-A Lambda Calculus Satellite
9781848904156-1848904150-A Lambda Calculus Satellite

A Lambda Calculus Satellite

by Henk Barendregt, Giulio Manzonetto
ISBN-13: 9781848904156
ISBN-10: 1848904150
Publication date: 2022
Publisher: College Publications
Format: Paperback 602 pages
Sell Buy from $32.27
9783540580850-3540580859-Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)
9783540580850-3540580859-Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)

by Henk Barendregt, Tobias Nipkow
ISBN-13: 9783540580850
ISBN-10: 3540580859
Edition: 1994
Publisher: Springer
Format: Paperback 404 pages
Sell Buy from $52.84
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.