Hendrik Pieter (Henk) Barendregt

Home page at http://www.cs.kun.nl/~henk/

Author of the book ''The Lambda Calculus: Its Syntax and Semantics'', ISBN 0444875085, which is often cited as the definitive reference on LambdaCalculus.

----
CategoryAuthor CategoryPerson CategoryBook