Hardcover Book Paperback Book
显示无货商品

Henk Barendregt的作品

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

A Lambda Calculus Satellite (2023)

Henk Barendregt

Cover for Henk Barendregt · A Lambda Calculus Satellite (Paperback Book) (2022)

A Lambda Calculus Satellite (2022)

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