A rewriting coherence theorem with applications in homotopy type theory
(2022)
Journal Article
Kraus, N., & von Raumer, J. (2022). A rewriting coherence theorem with applications in homotopy type theory. Mathematical Structures in Computer Science, 32(7), 982-1014. https://doi.org/10.1017/s0960129523000026
Higher-dimensional rewriting systems are tools to analyse the structure of formally reducing terms to normal forms, as well as comparing the different reduction paths that lead to those normal forms. This higher structure can be captured by finding a... Read More about A rewriting coherence theorem with applications in homotopy type theory.