skip navigation

The Library of Congress > Linked Data Service > LC Name Authority File (LCNAF)

Coquand, Thierry, 1961-

URI(s)

http://id.loc.gov/authorities/names/n00016832

Identifies LC/NAF RWO

http://id.loc.gov/rwo/agents/n00016832

Identifies RWO

Exact Matching Concepts from Other Schemes

http://viaf.org/viaf/sourceID/LC%7Cn++00016832#skos:Concept

Closely Matching Concepts from Other Schemes

Thierry Coquand Label from public data source Wikidata

Sources

found: TYPES '99 (1999 : Lökeberg, Sweden). Types for proofs and programs, 2001:CIP t.p. (Thierry Coquand) data sheet (b. Apr. 18, 1961)

Instance Of

Scheme Membership(s)

Library of Congress Name Authority File

Collection Membership(s)

Change Notes

2000-12-20: new

Alternate Formats