%0 Conference Paper %1 conf/lics/CoquandHM18 %A Coquand, Thierry %A Huber, Simon %A Mörtberg, Anders %B LICS %D 2018 %E Dawar, Anuj %E Grädel, Erich %I ACM %K dblp %P 255-264 %T On Higher Inductive Types in Cubical Type Theory. %U http://dblp.uni-trier.de/db/conf/lics/lics2018.html#CoquandHM18

@inproceedings{conf/lics/CoquandHM18, added-at = {2018-11-21T00:00:00.000+0100}, author = {Coquand, Thierry and Huber, Simon and Mörtberg, Anders}, biburl = {https://www.bibsonomy.org/bibtex/293a7e655d6d8ee89ca79cc26e8c0cc70/dblp}, booktitle = {LICS}, crossref = {conf/lics/2018}, editor = {Dawar, Anuj and Grädel, Erich}, ee = {https://doi.org/10.1145/3209108.3209197}, interhash = {d294c9f5d7e3a2ba357abb87752e79b0}, intrahash = {93a7e655d6d8ee89ca79cc26e8c0cc70}, keywords = {dblp}, pages = {255-264}, publisher = {ACM}, timestamp = {2018-11-22T11:50:04.000+0100}, title = {On Higher Inductive Types in Cubical Type Theory.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2018.html#CoquandHM18}, year = 2018 }