A rewriting coherence theorem with applications in homotopy type theory.
Saved in:
| Title: | A rewriting coherence theorem with applications in homotopy type theory. |
|---|---|
| Authors: | Kraus, Nicolai1 (AUTHOR), von Raumer, Jakob2 (AUTHOR) jakob@von-raumer.de |
| Source: | Mathematical Structures in Computer Science. Aug2022, Vol. 32 Issue 7, p982-1014. 33p. |
| Database: | Mathematics Source |
| ISSN: | 09601295 |
|---|---|
| DOI: | 10.1017/S0960129523000026 |
