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

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

Item prices starting from

� 3.81

View 15 offers

Also find
New, Used
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Barendregt, Henk

Item prices starting from

� 13.72

View 25 offers

Also find
New, Used
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)
Barendregt, Henk

Item prices starting from

� 16.29

View 3 offers

Also find
New, Used
A Lambda Calculus Satellite
Barendregt, Henk; Manzonetto, Giulio

Item prices starting from

� 21.37

View 39 offers

Also find
New, Used
Lambda Calculus with Types (Perspectives in Logic)
Barendregt, Henk; Dekkers, Wil; Statman, Richard

Item prices starting from

� 40.39

View 22 offers

Also find
New, Used