Releases by Henk Barendregt

All3
Hardcover Book1
Paperback Book2

In stock at iMusic Show unavailable items

Cover for Henk Barendregt · A Lambda Calculus Satellite (Hardcover Book) (2023)

A Lambda Calculus Satellite (2023)

Henk Barendregt

Cover for Henk Barendregt · Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Paperback Book) (2020)

Some Extensional Term Models for... (2020)

Henk Barendregt

Cover for Henk Barendregt · The Lambda Calculus. Its Syntax and Semantics (Paperback Book) (2012)

The Lambda Calculus. Its Syntax ... (2012)

Henk Barendregt