Henk Barendregt

Henk Barendregt has written at least 0 books. Their most popular book is The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition with 1 save with an average rating of -⭐.