Author:
Chirimar Jawahar,Howe Douglas J.
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. E. Bishop. Foundations of Constructive Analysis. McGraw-Hill, New York, 1967.
2. R. L. Constable, et al. Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Englewood Cliffs, New Jersey, 1986.
3. T. Coquand and G. Huet. The calculus of constructions. Information and Computation, 76:95–120, 1988.
4. S. Feferman. A language and axioms for explicit mathematics. In Dold, A. and B. Eckmann, editor, Algebra and Logic, volume 450 of Lecture Notes in Mathematics, pages 87–139. Springer-Verlag, 1975.
5. M. J. Gordon, R. Milner, and C. P. Wadsworth. Edinburgh LCF: A Mechanized Logic of Computation, volume 78 of Lecture Notes in Computer Science. Springer-Verlag, 1979.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献