The following pages link to Homotopical patch theory (Q5371976):
Displaying 6 items.
- A categorical theory of patches (Q265821) (← links)
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- Homotopical patch theory (Q2819684) (← links)
- (Q4989403) (← links)
- Cubical Agda: A dependently typed programming language with univalence and higher inductive types (Q5016211) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)