Foundations of Constructive Analysis, 1967. ,
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis, The Journal of Symbolic Logic, vol.10, issue.03, pp.325-358, 1966. ,
DOI : 10.1111/j.1746-8361.1958.tb01464.x
The Foundations of Intuitionistic Mathematics, 1965. ,
Well Quasi-Ordered Sets, Advances in Mathematics, vol.97, issue.2, pp.145-153, 1993. ,
DOI : 10.1006/aima.1993.1004
URL : http://doi.org/10.1006/aima.1993.1004
Göteborg, Sweden E-mail address: coquand@cs.chalmers.se Equipe TypiCal, LIX, Ecole Polytechnique, France E-mail address: Arnaud ,