Henk Barendregtのリリース

すべて3
Hardcover Book1
Paperback Book2

iMusicに在庫あり在庫なし商品を表示

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