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-
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)
Barendregt, Henk
Item prices starting from
View 4 offersUS$ 22.84
-
A Lambda Calculus Satellite
Barendregt, Henk; Manzonetto, Giulio
Item prices starting from
View 37 offersUS$ 28.00
-
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Barendregt, Henk
Item prices starting from
View 22 offersUS$ 33.36
-
-
Lambda Calculus with Types (Perspectives in Logic)
Barendregt, Henk; Dekkers, Wil; Statman, Richard
Item prices starting from
View 21 offersUS$ 88.40
