Henk Barendregt

Henk Barendregt during his visit in Prague in April 2012 Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory. Provided by Wikipedia
1
Lambda calculus with types [E-Book] /
Other Personal Name(s): “...Barendregt, Henk....”

Full text 
Favorites
Saved in: