Thierry Coquand
The homepage has moved to
this address