A Cubical Approach to Synthetic Homotopy Theory.

Authors :: Licata, Daniel R.
Brunerie, Guillaume
Source :: Proceedings of the 2015 30th Annual ACM,IEEE Symposium on Logic in Computer Science; 2015, p92-103, 12p
Publication Year :: 2015

Language :: English
Database :: Complementary Index
Journal :: Proceedings of the 2015 30th Annual ACM,IEEE Symposium on Logic in Computer Science
Publication Type :: Conference
Accession number :: 115950803
Full Text :: https://doi.org/10.1109/LICS.2015.19