1. R. Amadio and S. Coupet. “Analysis of a guard condition in Type Theory”. Technical report, INRIA, 1997.
2. E. Bishop. “Foundations of constructive analysis”. McGraw-Hill, New York, 1967.
3. L.E.J. Brouwer. “Beweis, dass jede volle Funktion gleichmässig stetig ist”. In Proc. Amsterdam 27, pages 189–194, 1924.
4. J. Cederquist. “A pointfree approach to Constructive Analysis in Type Theory”. PhD thesis, Göteborg University, 1997.
5. Lect Notes Comput Sci;J. Chirimar,1992