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
43 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. UTC Time, Formally Verified;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Enabling Floating-Point Arithmetic in the Coq Proof Assistant;Journal of Automated Reasoning;2023-09-16
3. Flexible Correct-by-Construction Programming;Logical Methods in Computer Science;2023-06-07
4. WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly;Proceedings of the ACM on Programming Languages;2023-06-06
5. Computing Cohomology Rings in Cubical Agda;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11