Publisher
Springer International Publishing
Reference58 articles.
1. Ahrens, B., Kapulkin, K., & Shulman, M. (2015). Univalent categories and the Rezk completion. Mathematical Structures in Computer Science, 25(5), 1010–1039. https://doi.org/10.1017/S0960129514000486
2. Altenkirch, T., & Kaposi, A. (2016). Type theory in type theory using quotient inductive types. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL’16 (pp. 18–29). New York: ACM. https://doi.org/10.1145/2837614.2837638
3. In Computer science logic 2016, LIPIcs. Leibniz International Proceedings in Informatics (Vol. 62, pp. Art. No. 21, 17);T Altenkirch,2016
4. Altenkirch, T., Danielsson, N. A., & Kraus, N. (2017). Partiality, revisited. In J. Esparza & A. S. Murawski (Eds.), Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, 22–29 Apr 2017, Proceedings (pp. 534–549). Berlin/Heidelberg: Springer. https://doi.org/10.1007/978-3-662-54458-7_31
5. Angiuli, C., Harper, R., & Wilson, T. (2017). Computational higher-dimensional type theory. In POPL’17: Proceedings of the 44th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 680–693). ACM. https://doi.org/10.1145/3009837.3009861
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Two-sided cartesian fibrations of synthetic $$(\infty ,1)$$-categories;Journal of Homotopy and Related Structures;2024-06-21
2. Stefania Centrone, Deborah Kant, Deniz Serikaya, Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts, vol. 407 of Synthese Library, Springer, 2019, pp. 494+xxviii; ISBN: 978-3-030-15654-1 (Hardcover) 149.79€, ISBN: 978-3-030-15655-8 (eBook).;Studia Logica;2024-04-25
3. Formalizing the ∞-Categorical Yoneda Lemma;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09