Homotopical patch theory

DOI10.1145/2628136.2628158zbMATH Open1345.68093OpenAlexW2089243009MaRDI QIDQ2819684FDOQ2819684

Authors: Edward Morehouse, Daniel R. Licata, Robert Harper, 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

Recommendations

• Homotopical patch theory
• Inductive types in homotopy type theory
• Homotopy Type Theory
• Cubical type theory: a constructive interpretation of the univalence axiom
• \(\pi _{n }(S ^{n })\) in homotopy type theory

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categorical logic, topoi (03G30) Topological categories, foundations of homotopy theory (55U40)

Cited In (5)

• A categorical theory of patches
• Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality
• Homotopical patch theory
• An electrical engineering perspective on naturality in computational physics
• A rewriting coherence theorem with applications in homotopy type theory

This page was built for publication: Homotopical patch theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819684)