%0 Conference Paper %1 conf/icfp/AngiuliMLH14 %A Angiuli, Carlo %A Morehouse, Edward %A Licata, Daniel R. %A Harper, Robert %B ICFP %D 2014 %E Jeuring, Johan %E Chakravarty, Manuel M. T. %I ACM %K dblp %P 243-256 %T Homotopical patch theory. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2014.html#AngiuliMLH14 %@ 978-1-4503-2873-9

@inproceedings{conf/icfp/AngiuliMLH14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Angiuli, Carlo and Morehouse, Edward and Licata, Daniel R. and Harper, Robert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/284f2ff543e28859cf321515f06cf6858/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2014}, editor = {Jeuring, Johan and Chakravarty, Manuel M. T.}, ee = {https://doi.org/10.1145/2628136.2628158}, interhash = {c81361aa5bbb17024e8032049dca41bf}, intrahash = {84f2ff543e28859cf321515f06cf6858}, isbn = {978-1-4503-2873-9}, keywords = {dblp}, pages = {243-256}, publisher = {ACM}, timestamp = {2019-09-27T21:36:25.000+0200}, title = {Homotopical patch theory.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2014.html#AngiuliMLH14}, year = 2014 }