French mathematician, logician and computer scientist
<a href="https://www.last.fm/music/Thierry+Coquand">Read more on Last.fm</a>
5 total works indexed
· 2001 · cited 18,519x
· 2005 · cited 18,410x
· 2016 · cited 13,878x
· 2018 · cited 8,155x
· 2020 · cited 8,064x
via Crossref · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).