Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT
Funder
Royal Society
European Social Fund
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalizing the ∞-Categorical Yoneda Lemma;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Two-level type theory and applications;Mathematical Structures in Computer Science;2023-05-30
3. A rewriting coherence theorem with applications in homotopy type theory;Mathematical Structures in Computer Science;2022-08