Homotopical patch theory
ANGIULI, CARLO, MOREHOUSE, EDWARD, LICATA, DANIEL R., HARPER, ROBERTVolume:
26
Year:
2016
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796816000198
File:
PDF, 931 KB
english, 2016