Paper: A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory (at LICS 2016)
Authors: Kuen-Bang Hou (Favonia) Eric Finster Daniel R. Licata Peter LeFanu Lumsdaine
Abstract
No Abstract Available
BibTeX
@InProceedings{FavoniaFinsterLicat-AMechanizationofthe, author = {Kuen-Bang Hou (Favonia) and Eric Finster and Daniel R. Licata and Peter LeFanu Lumsdaine}, title = {A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory}, booktitle = {Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016)}, year = {2016}, month = {July}, pages = {565--574}, location = {New York City}, publisher = {IEEE Computer Society Press} }