Henk Barendregt

Henk Barendregt books and biography


Henk Barendregt




Hendrik Pieter (Henk) Barendregt (b. 1947) is a Dutch logician, known for his work in lambda calculus and type theory.

Barendregt holds the chair of Foundations of Mathematics and Computer Science at Radboud University Nijmegen, The Netherlands, and is adjunct professor at Carnegie Mellon University, Pittsburgh Pennsylvania, USA. Since 1986 he has been a professor at Radboud University Nijmegen, where he and his group work on Constructive Interactive Mathematics.

At Utrecht University he studied mathematical logic, obtaining his Masters in 1968 and his Ph.D. in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel. After a postdoctoral period at Stanford University he held positions at Utrecht University and was a visiting scholar at Darmstadt, ETH Zürich, Siena and Kyoto.

In 2002 he was knighted in the Orde van de Nederlandse Leeuw. Barendregt obtained on February 6, 2003 the NWO Spinoza Award

This article might use material from a Wikipedia article, which is released under the Creative Commons Attribution-Share-Alike License 3.0.
Sorry, no books found.

Sponsored Links

message of the week Message of The Week

Bookyards Youtube channel is now active. The link to our Youtube page is here.

If you have a website or blog and you want to link to Bookyards. You can use/get our embed code at the following link.

Follow us on Twitter and Facebook.

Bookyards Facebook, Tumblr, Blog, and Twitter sites are now active. For updates, free ebooks, and for commentary on current news and events on all things books, please go to the following:

Bookyards at Facebook

Bookyards at Twitter

Bookyards at Pinterest

Bookyards atTumblr

Bookyards blog

message of the daySponsored Links