A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory-Reference-Cited by-同舟云学术

A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory

Published:2016-07-05 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Hou (Favonia) Kuen-Bang¹,Finster Eric²,Licata Daniel R.³,Lumsdaine Peter LeFanu⁴

Affiliation:

1. Carnegie Mellon University

2. LIX/École Polytechnique

3. Wesleyan University

4. Stockholm University

Funder

Air Force Research Laboratory

National Science Foundation

Institute for Advanced Study

Publisher

ACM

Link

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

Reference32 articles.

1. M. Anel G. Biedermann E. Finster and A. Joyal. The generalized Blakers-Massey theorem. In preparation 2016. M. Anel G. Biedermann E. Finster and A. Joyal. The generalized Blakers-Massey theorem. In preparation 2016.

2. Homotopy theoretic models of identity types

3. The Homotopy Groups of a Triad I

4. The Homotopy Groups of a Triad. II

5. The Homotopy Groups of a Triad. III

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On symmetries of spheres in univalent foundations;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. Topological Quantum Gates in Homotopy Type Theory;Communications in Mathematical Physics;2024-07

3. Strange new universes: Proof assistants and synthetic foundations;Bulletin of the American Mathematical Society;2024-02-15

4. Formalizing π₄(S³) ≅Z/2Z and Computing a Brunerie Number in Cubical Agda;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

5. A generalized Blakers–Massey theorem;Journal of Topology;2020-09-07