Author:
Sterling Jonathan,Angiuli Carlo
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The compatibility of the minimalist foundation with homotopy type theory;Theoretical Computer Science;2024-04
2. On the ∞$\infty$‐topos semantics of homotopy type theory;Bulletin of the London Mathematical Society;2024-02
3. Formalizing the ∞-Categorical Yoneda Lemma;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
4. What should a generic object be?;Mathematical Structures in Computer Science;2023-01
5. Staged compilation with two-level type theory;Proceedings of the ACM on Programming Languages;2022-08-29