Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. P. B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth through Proof. Academic Press, 1986.
2. P. B. Andrews, S. Issar, D. Nesmith, and F. Pfenning. The tps theorem proving system (system abstract). In M. E. Stickel, editor, 10th International Conference on Automated Deduction, volume 449 of Lecture Notes in Computer Science, pages 641–642. Springer-Verlag, 1990.
3. C. C. Chang and H. J. Keisler. Model Theory. North-Holland, 1990.
4. A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56–68, 1940.
5. D. Craigen, S. Kromodimoeljo, I. Meisels, A. Neilson, B. Pase, and M. Saaltink. m-eves: A tool for verifying software. In 11th International Conference on Software Engineering (ICSE'11), Singapore, 1988.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献