Henk Barendregt
Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique[1].
Henk Barendregt
Henk Barendregt à Prague en 2012
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Dir. de thèse |
Dirk van Dalen (en), Georg Kreisel |
| Site web | |
| Distinction |
Prix Spinoza () |
Il enseigne à l'Université Radboud de Nimègue depuis 1986. Il est connu pour ses travaux en lambda-calcul, en créant notamment le lambda cube, et en théorie des types.
Il est membre de l'Académie royale néerlandaise des arts et des sciences depuis 1997[2] et a reçu le Prix Spinoza en 2002[3]. La même année, il est nommé chevalier de l'Ordre du Lion néerlandais.
Hors des mathématiques, ses travaux portent également sur la conscience, la pleine conscience et l'impact clinique de la méditation bouddhique[4].
Bibliographie
- Lambda Calculus with Types, part of Perspectives in Logic, 2013, Cambridge University Press. (ISBN 9780521766142)
Notes et références
- Biographie sur le site de Université Radboud de Nimègue
- (en) « Henk Barendregt », Royal Netherlands Academy of Arts and Sciences (consulté le )
- (en) « NWO Spinoza Prize 2002 », Netherlands Organisation for Scientific Research, (consulté le )
- Page de Henk Barendregt consacrée aux travaux sur la conscience
Portail de la logique 
Portail de l'informatique théorique 
Portail du bouddhisme
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.