Back to Search
Start Over
A Cubical Approach to Synthetic Homotopy Theory.
- Source :
- Proceedings of the 2015 30th Annual ACM,IEEE Symposium on Logic in Computer Science; 2015, p92-103, 12p
- Publication Year :
- 2015
Details
- 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