Home / Authors / Barendregt, Henk

Books by Barendregt, Henk

All books by this author

2 books found
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)
Types for Proofs and Programs: International Workshop TYPES…
By: Barendregt, Henk
View Details
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
The Lambda Calculus. Its Syntax and Semantics (Studies in L…
By: Barendregt, Henk
View Details