| LC control no. | n 00016832 |
|---|---|
| Personal name heading | Coquand, Thierry, 1961- |
| Found in | TYPES '99 (1999 : Lökeberg, Sweden). Types for proofs and programs, 2001: CIP t.p. (Thierry Coquand) data sheet (b. Apr. 18, 1961) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
