Henk Barendregt books & textbook
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
College Publications /2012-04-30 Paperback / 656 Pages
isbn-10: 184890066X / isbn-13: 9781848900660
The Dark Side of the Mirror: Forgetting the Self in Dōgen's Genjō Kōan
Brazier, David Barendregt, Henk
Windhorse Publications /2019-06-18 Paperback / 328 Pages
isbn-10: 1911407252 / isbn-13: 9781911407256
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)
Barendregt, Henk Nipkow, Tobias
Springer /1994-05-20 Paperback / 404 Pages
isbn-10: 3540580859 / isbn-13: 9783540580850
A Lambda Calculus Satellite
Barendregt, Henk Manzonetto, Giulio
College Publications /2022-10-05 Paperback / 602 Pages
isbn-10: 1848904150 / isbn-13: 9781848904156
The Lambda Calculus: Its Syntax and Semantics: 103 (Studies in Logic and the Foundations of Mathematics) by H. P. Barendregt (1-Nov-1985) Paperback
North Holland; 2nd Revised edition edition (1 Nov. 1985) / Paperback
Lambda Calculus with Types (Perspectives in Logic) 1st edition by Barendregt, Henk, Dekkers, Wil, Statman, Richard (2013) Hardcover
Cambridge University Press / Hardcover
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)
Independently published /2020-12-22 Paperback / 312 Pages
Popular Music in Southeast Asia: Banal Beats, Muted Histories
Barendregt, Bart Keppy, Peter Schulte Nordholt, Henk
Amsterdam University Press /2017-09-27 Paperback / 104 Pages
isbn-10: 9462984034 / isbn-13: 9789462984035
