Browse
FAQ

Author

Henk Barendregt

4 books found

Cover of Lambda Calculus Satellite

Lambda Calculus Satellite

Henk Barendregt, Giulio Manzonetto · First published 2022

Cover of Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Henk Barendregt · First published 2020

Cover of Lambda Calculus with Types

Lambda Calculus with Types

Henk Barendregt, Wil Dekkers, Richard Statman · First published 2013

Cover of Types for Proofs and Programs

Types for Proofs and Programs

Henk Barendregt · First published 1994