Barendregt, Henk
Edit Page
Report
Scan day: 09 February 2014 UTC
22
Virus safety - good
Description: Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
Mathematics and Computer Science Picture by Jan Benda: Prague, April 2012 Henk Barendregt (1947) occupies the chair of Foundations of Mathematics and Computer Science at Nijmegen University, The Netherlands. He studied at Utrecht University mathematical logic, obtaining his Masters in 1968 and his Ph.D. in 1971, both
Size: 318 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Homepage Henk Barendregt |
| Keywords: | |
| Description: | |
| IP-address: | 131.174.16.176 |