Thierry Coquand

The homepage has moved to this address