Homotopical patch theory

From MaRDI portal

Revision as of 18:10, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2819684

Jump to:navigation, search

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

Mathematics Subject Classification ID

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

Related Items (2)

Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ An electrical engineering perspective on naturality in computational physics

This page was built for publication: Homotopical patch theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2819684&oldid=15732929"