A note on the open induction principle, 1997. ,
Constructive Reals in Coq: Axioms and Categoricity, Types for Proofs and Programs, pp.79-95, 2000. ,
DOI : 10.1007/3-540-45842-5_6
Induction of open properties, 1988. ,
URL : https://hal.archives-ouvertes.fr/inria-00075738
Constructivism in mathematics, of Studies in Logic and the Foundations of Mathematics, 1988. ,
Constructivism in mathematics, of Studies in Logic and the Foundations of Mathematics, 1988. ,
Almost the fan theorem, Nieuw Arch. Wiskd, vol.2, issue.54, 2001. ,