Hou, K., Finster, E., Licata, D. R., & Lumsdaine, P. L. (2016, July 5). A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory. LICS 2016 : proceedings of the 31st annual ACM-IEEE Symposium on Logic in Computer Science : July 5-8, 2016, New York City, USA, 565-574. https://doi.org/10.1145/2933575.2934545
Citace podle Chicago (17th ed.)Hou, Kuen-Bang, Eric Finster, Daniel R. Licata, a Peter LeFanu Lumsdaine. "A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory." LICS 2016 : Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science : July 5-8, 2016, New York City, USA 5 Jul. 2016: 565-574. https://doi.org/10.1145/2933575.2934545.
Citace podle MLA (9th ed.)Hou, Kuen-Bang, et al. "A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory." LICS 2016 : Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science : July 5-8, 2016, New York City, USA, 5 Jul. 2016, pp. 565-574, https://doi.org/10.1145/2933575.2934545.