Thierry Coquand


Thierry Coquand (1961-), 数学家、逻辑学家、计算机科学家. 他最知名的贡献有构造演算、立方类型论和综合代数几何.

目录

1以他命名

•

Coquand 宇宙

取自 “https://www.bananaspace.org/w/index.php?title=Thierry_Coquand&oldid=22092”