%0 Conference Paper %1 conf/lics/LicataB15 %A Licata, Daniel R. %A Brunerie, Guillaume %B LICS %D 2015 %I IEEE Computer Society %K dblp %P 92-103 %T A Cubical Approach to Synthetic Homotopy Theory. %U http://dblp.uni-trier.de/db/conf/lics/lics2015.html#LicataB15 %@ 978-1-4799-8875-4

@inproceedings{conf/lics/LicataB15, added-at = {2018-11-02T00:00:00.000+0100}, author = {Licata, Daniel R. and Brunerie, Guillaume}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b8b85f76b9ca9aebc013c7d44c41e940/dblp}, booktitle = {LICS}, crossref = {conf/lics/2015}, ee = {http://dl.acm.org/citation.cfm?id=2876525}, interhash = {8e91df32896358bbfe8bb740ae7a7a57}, intrahash = {b8b85f76b9ca9aebc013c7d44c41e940}, isbn = {978-1-4799-8875-4}, keywords = {dblp}, pages = {92-103}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T21:14:31.000+0200}, title = {A Cubical Approach to Synthetic Homotopy Theory.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2015.html#LicataB15}, year = 2015 }