. Th and . Coquand, A note on the open induction principle, 1997.

H. Geuvers and M. Niqui, Constructive Reals in Coq: Axioms and Categoricity, Types for Proofs and Programs, pp.79-95, 2000.
DOI : 10.1007/3-540-45842-5_6

J. Raoult, Induction of open properties, 1988.
URL : https://hal.archives-ouvertes.fr/inria-00075738

A. S. Troelstra and D. Van-dalen, Constructivism in mathematics, of Studies in Logic and the Foundations of Mathematics, 1988.

A. S. Troelstra and D. Van-dalen, Constructivism in mathematics, of Studies in Logic and the Foundations of Mathematics, 1988.

W. Veldman, Almost the fan theorem, Nieuw Arch. Wiskd, vol.2, issue.54, 2001.