Definitions from Wikipedia (Henk Barendregt)

▸ noun:  Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) Here: Preface, p.5 is a Dutch logician, known for his work in lambda calculus and type theory.


▸ Words similar to henk barendregt
▸ Usage examples for henk barendregt

▸ Idioms related to henk barendregt
▸ Wikipedia articles (New!)
▸ Words that often appear near henk barendregt
▸ Rhymes of henk barendregt

▸ Invented words related to henk barendregt