Author:
Cohen Cyril,Dénès Maxime,Mörtberg Anders
Publisher
Springer International Publishing
Reference27 articles.
1. Ahrens, B., Kapulkin, C., Shulman, M.: Univalent categories and the Rezk completion (2013) (Preprint),
http://arxiv.org/abs/1303.0584
2. Barthe, G., Capretta, V., Pons, O.: Setoids in type theory. Journal of Functional Programming 13(2), 261–293 (2003)
3. Bernardy, J.-P., Jansson, P., Paterson, R.: Proofs for free. Journal of Functional Programming 22(2), 107–152 (2012)
4. Lecture Notes in Computer Science;J. Chrząszcz,2003
5. Lecture Notes in Computer Science;C. Cohen,2013
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. UTC Time, Formally Verified;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence;Lecture Notes in Computer Science;2024
3. Trocq: Proof Transfer for Free, With or Without Univalence;Lecture Notes in Computer Science;2024
4. Enabling Floating-Point Arithmetic in the Coq Proof Assistant;Journal of Automated Reasoning;2023-09-16
5. Flexible Correct-by-Construction Programming;Logical Methods in Computer Science;2023-06-07