Author Details

Coquand, Thierry



Journal of Logic and Analysis ISSN:  1759-9008