Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Aderhold, M.: Verification of Second-Order Functional Programs. Doctoral dissertation, TU Darmstadt (2009)
2. Lecture Notes in Computer Science;M. Aderhold,2010
3. Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers, Dordrecht (2002)
4. Lecture Notes in Computer Science;G. Barthe,2006
5. Boyer, R.S., Moore, J.S.: A Computational Logic. Academic Press, Inc., London (1979)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type systems for the masses: deriving soundness proofs and efficient checkers;2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!);2015-10-21