Semantics for two-dimensional type theory-Reference-Cited by-同舟云学术

Semantics for two-dimensional type theory

Published:2022-08-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Ahrens Benedikt¹,North Paige Randall²,van der Weide Niels³

Affiliation:

1. Delft University of Technology, Netherlands and University of Birmingham, United Kingdom

2. University of Pennsylvania, USA

3. Radboud University, Netherlands

Funder

Air Force Office of Scientific Research

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3531130.3533334

Reference41 articles.

1. Benedikt Ahrens Dan Frumin Marco Maggesi and Niels van der Weide. 2019. Bicategories in Univalent Foundations. In 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)(Leibniz International Proceedings in Informatics (LIPIcs) Vol. 131) Herman Geuvers (Ed.). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik Dagstuhl Germany 5:1–5:17. https://doi.org/10.4230/LIPIcs.FSCD.2019.5 Benedikt Ahrens Dan Frumin Marco Maggesi and Niels van der Weide. 2019. Bicategories in Univalent Foundations. In 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)(Leibniz International Proceedings in Informatics (LIPIcs) Vol. 131) Herman Geuvers (Ed.). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik Dagstuhl Germany 5:1–5:17. https://doi.org/10.4230/LIPIcs.FSCD.2019.5

2. Benedikt Ahrens Dan Frumin Marco Maggesi Niccolò Veltri and Niels van der Weide. 2022. Bicategories in univalent foundations. Mathematical Structures in Computer Science(2022) 1–38. https://doi.org/10.1017/S0960129522000032 Benedikt Ahrens Dan Frumin Marco Maggesi Niccolò Veltri and Niels van der Weide. 2022. Bicategories in univalent foundations. Mathematical Structures in Computer Science(2022) 1–38. https://doi.org/10.1017/S0960129522000032

3. Univalent categories and the Rezk completion

4. Benedikt Ahrens and Peter LeFanu Lumsdaine . 2019. Displayed Categories . Log. Methods Comput. Sci. 15, 1 ( 2019 ). https://doi.org/10.23638/LMCS-15(1:20)2019 Benedikt Ahrens and Peter LeFanu Lumsdaine. 2019. Displayed Categories. Log. Methods Comput. Sci. 15, 1 (2019). https://doi.org/10.23638/LMCS-15(1:20)2019

5. Krzysztof Bar , Aleks Kissinger , and Jamie Vicary . 2018. Globular: an online proof assistant for higher-dimensional rewriting. Log. Methods Comput. Sci. 14, 1 ( 2018 ). https://doi.org/10.23638/LMCS-14(1:8)2018 Krzysztof Bar, Aleks Kissinger, and Jamie Vicary. 2018. Globular: an online proof assistant for higher-dimensional rewriting. Log. Methods Comput. Sci. 14, 1 (2018). https://doi.org/10.23638/LMCS-14(1:8)2018

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. Bicategorical type theory: semantics and syntax;Mathematical Structures in Computer Science;2023-10-17

3. A Formal Logic for Formal Category Theory;Lecture Notes in Computer Science;2023