Henk Barendregt
From Wikipedia, the free encyclopedia
Hendrik Pieter (Henk) Barendregt (b. 1947) is a Dutch logician, known for his work in lambda calculus and type theory.
Barendregt studied mathematical logic at Utrecht University, obtaining his Masters in 1968 and his Ph.D. in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel. After a postdoc at Stanford University, he taught at Utrecht University
Since 1986, Barendregt has taught at Radboud University Nijmegen, where he now holds the Chair of Foundations of Mathematics and Computer Science. His research group works on Constructive Interactive Mathematics. He is also Adjunct Professor at Carnegie Mellon University, Pittsburgh, USA. He has been a visiting scholar at Darmstadt, ETH Zürich, Siena, and Kyoto.
On February 6, 2003, Barendregt was awarded the Spinozapremie for 2002, the highest scientific award in the Netherlands. In 2002, he was knighted in the Orde van de Nederlandse Leeuw.
[edit] See also
[edit] Books by Barendregt
- 1984. The Lambda Calculus, Its Syntax and Semantics, Vol. 103 in Studies in Logic and the Foundations of Mathematics. North-Holland. ISBN 0-444-87508-5
