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 25 offersUS$ 23.50
-
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)
Barendregt, Henk
Item prices starting from
View 5 offersUS$ 22.56
-
A Lambda Calculus Satellite
Barendregt, Henk; Manzonetto, Giulio
Item prices starting from
View 19 offersUS$ 48.35
-
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 offersUS$ 59.77
-
Lambda Calculus with Types (Perspectives in Logic)
Barendregt, Henk; Dekkers, Wil; Statman, Richard
Item prices starting from
View 19 offersUS$ 132.35
-
The Dark Side of the Mirror: Forgetting the Self in Dōgen's Genjō Kōan
Brazier, David
Item prices starting from
View 31 offersUS$ 7.58
