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

researchr

You are not signed in
Sign in
Sign up

Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine. A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory. In Martin Grohe, Eric Koskinen, Natarajan Shankar, editors, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016. pages 565-574, ACM, 2016. [doi]

This author has not been identified. Look up 'Kuen-Bang Hou (Favonia)' in GoogleThis author has not been identified. Look up 'Eric Finster' in GoogleThis author has not been identified. Look up 'Daniel R. Licata' in GoogleThis author has not been identified. Look up 'Peter LeFanu Lumsdaine' in Google

runs on WebDSL