Author:
Awodey Steve,Gambino Nicola,Sojakova Kristina
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Topological Quantum Gates in Homotopy Type Theory;Communications in Mathematical Physics;2024-07
2. Martin-Löf à la Coq;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
3. Live Pattern Matching with Typed Holes;Proceedings of the ACM on Programming Languages;2023-04-06
4. Curiously Empty Intersection of Proof Engineering and Computational Sciences;Computational Methods in Applied Sciences;2023
5. Constructing Higher Inductive Types as Groupoid Quotients;Logical Methods in Computer Science;2021-04-22