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.
H.P. Barendregt (1984). The Lambda Calculus — Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics. Vol. 103. Amsterdam: North-Holland. ISBN 0-444-87508-5. — See Errata
H.P. Barendregt (2001). "Computing and Proving (invited lecture)". In Middeldorp, A. (ed.). Rewriting Techniques and Applications, 12th Int. Conf., RTA-01. LNCS. Vol. 2051. Springer.
H.P. Barendregt, W. Dekkers and R. Statman (2013). Lambda Calculus with Types. Perspectives in Logic. Cambridge University Press. ISBN 978-052-176-614-2.
H.P. Barendregt and G. Manzonetto (2022). A Lambda Calculus Satellite. Mathematical Logic and Foundations. College Publications. ISBN 978-1-84890-415-6.
References
^Erik Barendsen; Herman Geuvers; Venanzio Capretta; Milad Niqui, eds. (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
^"Hendrik Barendregt". Academia Europaea. Archived from the original on 28 March 2019.
^"Henk Barendregt". Royal Netherlands Academy of Arts and Sciences. Archived from the original on 21 May 2020.
^"NWO Spinoza Prize 2002". Netherlands Organisation for Scientific Research. 5 September 2014. Retrieved 30 January 2016.