Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. P. B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic Press, 1986.
2. A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, pages 56–68, 1940.
3. M. J. C. Gordon. Set theory, higher order logic or both? In Proc. 9th TPHOLs, volume 1125 of Lecture Notes in Computer Science, pages 191–201. Springer-Verlag, 1996.
4. M. J. C. Gordon and T. F. Melham (editors). Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press, 1993.
5. L. Henkin. Completeness in the theory of types. Journal of Symbolic Logic, 15(2):81–91, 1950.
Cited by
82 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献