Author Details

Coquand, Thierry, University of Gothenburg, Sweden



Journal of Logic and Analysis ISSN:  1759-9008