About: dbpedia-fr:Henk

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Henk_Barendregt Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 dul:NaturalPerson animal eukaryote species
rdfs:label	Henk Barendregt (fr) Henk Barendregt (de) Барендрегт, Хенк (ru) Генк Барендрегт (uk) هينك باريندريجت (arz)
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)
rdfs:seeAlso	http://isni.org/isni/0000_0001_0932_8983 https://zbmath.org/authors/?q=ai:barendregt.henk http://genealogy.math.ndsu.nodak.edu/id.php?id=49847 http://aut.nkp.cz/ntk2013782542 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=44637 http://loop.frontiersin.org/people/8487/overview
sameAs	dbr:Henk_Barendregt dbpedia-commons:Category:Henk_Barendregt wikidata:Q1847646 http://arz.dbpedia.org/resource/هينك_باريندريجت dbpedia-cs:Henk_Barendregt dbpedia-de:Henk_Barendregt dbpedia-nl:Henk_Barendregt dbpedia-ru:Барендрегт,_Хенк dbpedia-uk:Генк_Барендрегт http://data.bnf.fr/ark:/12148/cb12482070f#about http://www.idref.fr/034022821/id https://d-nb.info/gnd/124647219 http://viaf.org/viaf/109291023 https://dblp.org/pid/b/HendrikPieterBarendregt https://id.loc.gov/authorities/names/n80086451 http://g.co/kg/m/05kqrh https://data.bibliotheken.nl/doc/thes/p071630848 http://data.beeldengeluid.nl/gtaa/214816
birth place	dbpedia-fr:Amsterdam
birth date	1947-12-18 (xsd:date)
Wikipage page ID	10242529 (xsd:integer)
Wikipage revision ID	190819031 (xsd:integer)
dbo:wikiPageWikiLink	Royal Netherlands Academy of Arts and Sciences category-fr:Lauréat_du_prix_Spinoza category-fr:Logicien_néerlandais category-fr:Mathématicien_néerlandais_du_XXIe_siècle category-fr:Mathématicien_néerlandais_du_XXe_siècle category-fr:Membre_de_l'Académie_royale_néerlandaise_des_arts_et_des_sciences category-fr:Naissance_en_décembre_1947 category-fr:Personnalité_en_logique_mathématique category-fr:Personnalité_néerlandaise_en_informatique category-fr:Professeur_à_l'université_Radboud_de_Nimègue category-fr:Étudiant_de_l'université_d'Utrecht Consciousness Lambda calculus Lambda cube dbpedia-fr:Logique_mathématique Buddhist meditation Order of the Netherlands Lion Kingdom of the Netherlands Mindfulness dbpedia-fr:Prix_Spinoza dbpedia-fr:Théorie_des_types Radboud University Nijmegen
page length (characters) of wiki page	2315 (xsd:nonNegativeInteger)
dct:subject	category-fr:Lauréat_du_prix_Spinoza category-fr:Logicien_néerlandais category-fr:Mathématicien_néerlandais_du_XXIe_siècle category-fr:Mathématicien_néerlandais_du_XXe_siècle category-fr:Membre_de_l'Académie_royale_néerlandaise_des_arts_et_des_sciences category-fr:Naissance_en_décembre_1947 category-fr:Personnalité_en_logique_mathématique category-fr:Personnalité_néerlandaise_en_informatique category-fr:Professeur_à_l'université_Radboud_de_Nimègue category-fr:Étudiant_de_l'université_d'Utrecht
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:ISBN dbpedia-fr:Modèle:Infobox_Biographie2 dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Ébauche
prov:wasDerivedFrom	wikipedia-fr:Henk_Barendregt?oldid=190819031&ns=0
foaf:depiction
thumbnail	wiki-commons:Special:FilePath/Henk_Barendregt_at_the_Old_Jewish_Cemetery_in_Prague.jpg?width=300
foaf:isPrimaryTopicOf	wikipedia-fr:Henk_Barendregt
employer	Radboud University Nijmegen
doctoral student	wikidata:Q102111109 wikidata:Q102214189 wikidata:Q102253372 wikidata:Q102254989 wikidata:Q102268505 wikidata:Q102280622 wikidata:Q102280637 wikidata:Q102299355 wikidata:Q102300917 wikidata:Q102303978 wikidata:Q102316302

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 11 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software