Homotopical patch theory

DOI10.1145/2628136.2628158MaRDI QIDQ2819684zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(5)

• A rewriting coherence theorem with applications in homotopy type theory
• 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

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)