I've just updated my web page with links to some new papers that are now available: "Homotopical Patch Theory" by Carlo Angiuli, Ed Morehouse, Dan Licata, and Robert Harper. To appear, ICFP, Gothen...