Citations

• Bishop, E. and D. Bridges. Constructive Analysis, Springer, New York, 1985.
  
  
• Bishop, E. Foundations of Constructive Analysis, McGraw Hill, 1967, NY.
  
  
• Constable, Robert L. Type Two Computational Complexity, Proceedings of the Fifth Annual ACM Symposium on the Theory of Computing, 1973, pages 108-121.
  
  
• Constable, Robert L. and Scott F. Smith. "Computational Foundations of Basic Recursive Function Theory," Theoretical Computer Science, 1993, Vol. 121, pages 89-112.
  
  
• Constable, Robert L. "Experience Using Type Theory as a Foundation for Computer Science," Proceedings of the Tenth Annual IEEE Symposium on Logic in Computer Science, LICS, June, 1995, pages 266-279.
  
  
• Forester, Max B. "Formalizing Constructive Real Analysis," Department of Computer Science, Cornell University, Ithaca, NY, 1993, TR93-1382.
  
  
• Jackson, Paul B. "Enhancing the Nuprl Proof Development System and Applying It to Computational Abstract Algebra," Cornell University, January, 1995, Ithaca, NY.
  
  
• Underwood, Judith L. "A Constructive Completeness Proof for the Intuitionistic Propositional Calculus," Cornell University, TR 90-1179, 1990