Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper. Homotopical patch theory. In Johan Jeuring, Manuel M. T. Chakravarty, editors, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. pages 243-256, ACM, 2014. [doi]