Henk Barendregt

Henk Barendregt's books

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

4.15 avg rating — 34 ratings

The Dark Side of the Mirror: Forgetting the Self in Dōgen's Genjō Kōan

4.58 avg rating — 12 ratings

Lambda Calculus with Types

4.43 avg rating — 7 ratings

Introduction to Lambda Calculus

really liked it 4.00 avg rating — 5 ratings

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

liked it 3.00 avg rating — 1 rating

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)

0.00 avg rating — 0 ratings

A Lambda Calculus Satellite

0.00 avg rating — 0 ratings

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

0.00 avg rating — 0 ratings

A Lambda Calculus Satellite

0.00 avg rating — 0 ratings