research
∙
07/04/2021
A Rewriting Coherence Theorem with Applications in Homotopy Type Theory
Higher-dimensional rewriting systems are tools to analyse the structure ...
research
∙
01/21/2020
Coherence via Wellfoundedness
Homotopy type theory allows us to work with the higher-dimensional struc...
research
∙
01/17/2019