Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) 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 master's degree in 1968 and his PhD in 1971,