%0 Conference Paper %1 conf/csl/LicataF14 %A Licata, Daniel R. %A Finster, Eric %B CSL-LICS %D 2014 %E Henzinger, Thomas A. %E Miller, Dale %I ACM %K dblp %P 66:1-66:9 %T Eilenberg-MacLane spaces in homotopy type theory. %U http://dblp.uni-trier.de/db/conf/csl/csl2014.html#LicataF14 %@ 978-1-4503-2886-9

@inproceedings{conf/csl/LicataF14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Licata, Daniel R. and Finster, Eric}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f2d2abb7d6dd810d3ebda69d79119487/dblp}, booktitle = {CSL-LICS}, crossref = {conf/csl/2014}, editor = {Henzinger, Thomas A. and Miller, Dale}, ee = {https://doi.org/10.1145/2603088.2603153}, interhash = {f595bf198c2945f4cff2d83058506484}, intrahash = {f2d2abb7d6dd810d3ebda69d79119487}, isbn = {978-1-4503-2886-9}, keywords = {dblp}, pages = {66:1-66:9}, publisher = {ACM}, timestamp = {2019-09-27T20:13:55.000+0200}, title = {Eilenberg-MacLane spaces in homotopy type theory.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2014.html#LicataF14}, year = 2014 }