Barendregt
Encyclopedia
- Jaap BarendregtJaap BarendregtJaap Barendregt is a former Dutch footballer who was active as a striker. Barendregt played his whole career at Feijenoord and his total of 196 league goals is a club record, leading Kees Pijl and Cor van der Gijp.-Honours:* 1927-28 : Eredivisie winner with Feijenoord* 1929-30 : KNVB Cup winner...
(1905, RotterdamRotterdamRotterdam is the second-largest city in the Netherlands and one of the largest ports in the world. Starting as a dam on the Rotte river, Rotterdam has grown into a major international commercial centre...
- 1952), a Dutch footballer - Hendrik ("Henk") Pieter BarendregtHenk BarendregtHendrik Pieter Barendregt is a Dutch logician, known for his work in lambda calculus and type theory.Barendregt studied mathematical logic at Utrecht University, obtaining his Masters in 1968 and his Ph.D. in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel...
(born 1947, AmsterdamAmsterdamAmsterdam is the largest city and the capital of the Netherlands. The current position of Amsterdam as capital city of the Kingdom of the Netherlands is governed by the constitution of August 24, 1815 and its successors. Amsterdam has a population of 783,364 within city limits, an urban population...
), a Dutch logician - Barendregt convention
- Barendregt-Geuvers-Klop conjecturePure type systemIn the branches of mathematical logic known as proof theory and type theory, a pure type system , previously known as a generalized type system , is a form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these...
- Anthony Barendregt (born 1961, British Columbia), a politician in Manitoba, Canada