43 citations · 45 across the 8 of their papers we have counts for
1 paper · 1 filter
Simon Forest, Samuel Mimram
Over the recent years, the theory of rewriting has been used and extended in order to provide systematic techniques to show coherence results for strict higher categories. Here, we…