prof. dr. Henk Barendregt
Méditation de pleine conscience (insight)
Prof. Dr. Henk Barendregt a étudié les mathématiques à l'Université d'Utrecht, où il a obtenu son doctorat en 1971 sur une thèse en calcul des lambda, un sujet en logique mathématique. Après une période postdoctorale à l'Université de Stanford, il a occupé des postes permanents à l'Université d'Utrecht et des postes invités à Darmstadt, Kyoto, Paris, Pittsburgh, Sienne, Wollongong et Zurich (ETH). Son monographe "Le Calcul des Lambda, sa Syntaxe et sa Sémantique", Elsevier (1981), a été traduit en russe et
Caractéristiques
- Employabilité :
- Conférencier keynote
- Langues :
- Anglais, Néerlandais
- Catégories
-