Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam)[1] is a Dutch logician, known for his work in lambda calculus and type theory.
- ^ 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