Thierry Coquand

From PKC

Jump to navigation Jump to search

Thierry Coquand(Q3524190) is a French mathematician, logician and computer scientist.

Retrieved from "https://pkc.pub/index.php?title=Thierry_Coquand&oldid=28845"