Thierry Coquand (法语国际音标: /tjɛ.ʁi kɔ.kɑ̃/;1961–), 数学家、逻辑学家、计算机科学家. 他最知名的贡献有构造演算、立方类型论和综合代数几何.
•
Coquand 宇宙