Author:
Whiteside Iain,Aspinall David,Grov Gudmund
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Aspinall, D., Denney, E., Lüth, C.: Tactics for hierarchical proof. Mathematics in Computer Science 3, 309–330 (2010)
2. Lecture Notes in Computer Science;S. Autexier,2010
3. Lecture Notes in Computer Science;P. Corbineau,2008
4. Denney, E., Power, J., Tourlas, K.: Hiproofs: A hierarchical notion of proof tree. Electr. Notes Theor. Comput. Sci. 155, 341–359 (2006)
5. Barendregt, H., et al.: Lambda calculi with types. In: Handbook of Logic in Computer Science, pp. 117–309. Oxford University Press (1992)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Applications of applicative proof search;Proceedings of the 1st International Workshop on Type-Driven Development;2016-09-18
2. A Formal Proof of Vickrey's Theorem by Blast, Simp, and Rule;SSRN Electronic Journal;2014