The following pages link to Homotopical patch theory (Q2819684):
Displaying 5 items.
- A categorical theory of patches (Q265821) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- Homotopical patch theory (Q5371976) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
- An electrical engineering perspective on naturality in computational physics (Q6624471) (← links)