@article{angiuli-2016-homotopical, title={Homotopical patch theory}, volume={26}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796816000198}, DOI={10.1017/s0956796816000198}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={ANGIULI, CARLO and MOREHOUSE, EDWARD and LICATA, DANIEL R. and HARPER, ROBERT}, year={2016} }