Author:
Johnsen Einar Broch,Lüth Christoph
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Anderson, P., Basin, D.: Program development schemata as derived rules. Journal of Symbolic Computation 30(1), 5–36 (2000)
2. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brückner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl: The Common Algebraic Specification Language. Theoretical Computer Science 286(2), 153–196 (2002)
3. Lecture Notes in Computer Science;S. Autexier,2002
4. Lecture Notes in Computer Science;S. Berghofer,2000
5. Bertot, Y., Pons, O., Rideau, L.: Notions of dependency in proof assistants. In: User Interfaces in Theorem Provers, Eindhoven Univ. of Technology (1998)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Extensible Metatheory Mechanization via Family Polymorphism;Proceedings of the ACM on Programming Languages;2023-06-06
2. Proof repair across type equivalences;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
3. A Case Study of Transporting Urysohn’s Lemma from Topology via Open Sets into Topology via Neighborhoods;Formalized Mathematics;2020-10-01
4. Coq à la carte: a practical approach to modular syntax with binders;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
5. Adapting proof automation to adapt proofs;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs;2018-01-08