Thierry Coquand (Q375196)

From MaRDI portal
Revision as of 03:26, 13 November 2024 by Daniel (talk | contribs) (‎Created claim: DBLP author ID (P673): 59/3944, #quickstatements; #temporary_batch_1731464346690)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
No description defined
  • T. Coquand
Language Label Description Also known as
English
Thierry Coquand
No description defined
  • T. Coquand

Statements

Identifiers