CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgr:
Thierry_Coquand
Property
Value
rdf:
type
owl:
NamedIndividual
École Normale Supérieure alumnus
École normale supérieure person
1961 birth
20th-century French mathematician
Living person
French computer scientist
21st-century French mathematician
Logician
rdfs:
label
Thierry Coquand
owl:
sameAs
dbr:
Thierry_Coquand
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:1961_births
http://en.wikipedia.org/wiki/Category:Lists_of_living_people
http://en.wikipedia.org/wiki/Category:Living_people
http://en.wikipedia.org/wiki/List_of_living_people
http://en.wikipedia.org/wiki/List_of_logicians
http://en.wikipedia.org/wiki/Homotopy_type_theory
http://en.wikipedia.org/wiki/Category:%C3%89cole_Normale_Sup%C3%A9rieure_alumni
http://en.wikipedia.org/wiki/Category:20th-century_French_mathematicians
http://en.wikipedia.org/wiki/List_of_%C3%89cole_normale_sup%C3%A9rieure_people
http://en.wikipedia.org/wiki/Category:21st-century_French_mathematicians
http://en.wikipedia.org/wiki/Category:French_computer_scientists
skos:
prefLabel
Thierry Coquand
skos:
altLabel
Coquand
clgo:
almaMater
École normale supérieure (Paris)
clgo:
birthYear
1961
clgo:
nationality
France
is
clgo:
doctoralStudent
of
Gérard Huet