Releases med Henk Barendregt

På lager hos iMusic Vis utilgjengelige utgivelser

Cover for Henk Barendregt · A Lambda Calculus Satellite (Innbunden bok) (2023)

A Lambda Calculus Satellite (2023)

Henk Barendregt

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

Some Extensional Term Models for... (2020)

Henk Barendregt

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

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

Henk Barendregt