Henk Barendregt
Dutch logician · cs.ru.nl
Hendrik Pieter Barendregt is a Dutch logician, known for his work in lambda calculus and type theory. Wikipedia
Place of birth: Amsterdam, Netherlands
Notable students: Mariangiola Dezani-Ciancaglini, Jan Willem Klop, Silvia Ghilezan, and more