Homotopical patch theory.

Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper

Browse the full ICFP paper archive.