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 |
Be the first to leave a comment!
