Homotopical patch theory
From MaRDI portal
Publication:2819684
DOI10.1145/2628136.2628158zbMath1345.68093OpenAlexW2089243009MaRDI QIDQ2819684
Robert Harper, Daniel R. Licata, Edward Morehouse, Carlo Angiuli
Publication date: 29 September 2016
Published in: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2628136.2628158
Categorical logic, topoi (03G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Topological categories, foundations of homotopy theory (55U40)
Related Items (1)
This page was built for publication: Homotopical patch theory
