Henk Barendregt
Henk Barendregt (1947) is emeritus professor at Radboud University, Nijmegen the Netherlands. He is recipient of the Spinoza Award of the Dutch National Science Foundation (NWO), member of the Academia Europaea, and of the Royal Dutch Academy of Arts and Sciences.
Popular items by Henk Barendregt
View all offers-
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Barendregt, Henk
Item prices starting from
View 26 offers£ 18.29
-
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)
Barendregt, Henk
Item prices starting from
View 9 offers£ 16.61
-
A Lambda Calculus Satellite
Barendregt, Henk; Manzonetto, Giulio
Item prices starting from
View 20 offers£ 37.62
-
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (LECTURE NOTES IN COMP)
Barendregt, Henk
Item prices starting from
View 14 offers£ 46.08
-
The Dark Side of the Mirror: Forgetting the Self in Dogen's Genjo Koan
David Brazier
Item prices starting from
View 30 offers£ 4.41
-
Lambda Calculus with Types (Perspectives in Logic)
Henk Barendregt , Wil Dekkers , Richard Statman
Item prices starting from
View 18 offers£ 100.64
