Publisher
Springer International Publishing
Reference46 articles.
1. Affeldt, R., Cohen, C., Kerjean, M., Mahboubi, A., Rouhling, D., Sakaguchi, K.: Competing inheritance paths in dependent type theory: a case study in functional analysis. In: Peltier, N., Sofronie-Stokkermans, V. (eds.) IJCAR 2020. LNCS, vol. 12167, pp. 3–20. Springer, Cham (2020)
2. Lecture Notes in Computer Science;R Affeldt,2019
3. Analysis Team: Mathematical components compliant analysis library (2017).
https://github.com/math-comp/analysis
4. Lecture Notes in Computer Science;A Asperti,2009
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Asperti,2011
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Topological Quantum Gates in Homotopy Type Theory;Communications in Mathematical Physics;2024-07
2. UTC Time, Formally Verified;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
3. Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies;Lecture Notes in Computer Science;2023
4. Formalizing the ring of Witt vectors;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17
5. Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis;Automated Reasoning;2020