%0 Conference Paper %1 conf/lics/FavoniaFLL16 %A (Favonia), Kuen-Bang Hou %A Finster, Eric %A Licata, Daniel R. %A Lumsdaine, Peter LeFanu %B LICS %D 2016 %E Grohe, Martin %E Koskinen, Eric %E Shankar, Natarajan %I ACM %K dblp %P 565-574 %T A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory. %U http://dblp.uni-trier.de/db/conf/lics/lics2016.html#FavoniaFLL16 %@ 978-1-4503-4391-6

@inproceedings{conf/lics/FavoniaFLL16, added-at = {2021-08-11T00:00:00.000+0200}, author = {(Favonia), Kuen-Bang Hou and Finster, Eric and Licata, Daniel R. and Lumsdaine, Peter LeFanu}, biburl = {https://www.bibsonomy.org/bibtex/21c7abfde082c7f9669d7a450d7fb5c35/dblp}, booktitle = {LICS}, crossref = {conf/lics/2016}, editor = {Grohe, Martin and Koskinen, Eric and Shankar, Natarajan}, ee = {https://ieeexplore.ieee.org/document/8576476}, interhash = {9de6800aa6408250660a8926976851b5}, intrahash = {1c7abfde082c7f9669d7a450d7fb5c35}, isbn = {978-1-4503-4391-6}, keywords = {dblp}, pages = {565-574}, publisher = {ACM}, timestamp = {2024-04-10T20:03:35.000+0200}, title = {A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2016.html#FavoniaFLL16}, year = 2016 }