Horror for Newbies

Join the Goodreads Author Program

Are you Henk Barendregt, author of the books below?
The Lambda Calculus, Its Syntax and Semantics (Studies in Log... by Henk Barendregt Introduction to Lambda Calculus by Henk Barendregt Lambda Calculus with Types by Henk Barendregt Types for Proofs and Programs by Henk Barendregt Some Extensional Term Models for Combinatory Logics and Lambd... by Henk Barendregt A Lambda Calculus Satellite by Henk Barendregt Types for Proofs and Programs by Henk Barendregt A Lambda Calculus Satellite by Henk Barendregt Types for Proofs and Programs by Hank P. Barendregt The Dark Side of the Mirror by David Brazier


To join the author program as Henk Barendregt, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads