| Property |
Value |
| dbo:abstract
|
- Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique. 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 et a reçu le Prix Spinoza en 2002. 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. (fr)
- Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique. 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 et a reçu le Prix Spinoza en 2002. 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. (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2315 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique. 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 et a reçu le Prix Spinoza en 2002. La même année, il est nommé chevalier de l'Ordre du Lion néerlandais. (fr)
- Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique. 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 et a reçu le Prix Spinoza en 2002. La même année, il est nommé chevalier de l'Ordre du Lion néerlandais. (fr)
|
| rdfs:label
|
- Henk Barendregt (fr)
- Henk Barendregt (de)
- Барендрегт, Хенк (ru)
- Генк Барендрегт (uk)
- هينك باريندريجت (arz)
- Henk Barendregt (fr)
- Henk Barendregt (de)
- Барендрегт, Хенк (ru)
- Генк Барендрегт (uk)
- هينك باريندريجت (arz)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
