Henk Barendregt
Hendrik Pieter (Henk) Barendregt (born Dec.18th, 1947, Amsterdam)[1] is a Dutch logician, known for his work in lambda calculus and type theory.
Life and work
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 postdoctoral position 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.
Selected publications
- H.P. Barendregt (1985). The Lambda Calculus — Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics 103. Amsterdam: North-Holland. ISBN 0-444-87508-5. — See Errata
- Toyama, Y. and Klop, J.W. and Barendregt, H.P. (1989). "Termination for the Direct Sum of left-Linear Term Rewriting Systems (Preliminary Draft)". In Nachum Dershowitz. Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89. LNCS 355. Springer. pp. 477–491.
- Barendregt, H. (2001). "Computing and Proving (invited lecture)". In Middeldorp, A. Rewriting Techniques and Applications, 12th Int. Conf., RTA-01. LNCS 2051. Springer.
- 2013. Lambda Calculus with Types, part of Perspectives in Logic. Cambridge University Press. ISBN 9780521766142
References
- ↑ Erik Barendsen and Herman Geuvers and Venanzio Capretta and Milad Niqui, ed. (2007). Reflections on Type Theory, Lambda Calculus, and the Mind — Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday. University Nijmegen. ISBN 978-90-9022446-6. Here: Preface, p.5
External links
|