[Homepage](http://www.cse.chalmers.se/~coquand/) [[nlab:Thierry Coquand]] category: people