Hendrik Barendregt
Hendrik BarendregtHendrik 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.
EditText of this page
(last edited April 16, 2003)
or FindPage with title or text search