3 citations · 3 across the 1 of their papers we have counts for
1 paper
Nicolai Kraus, Jakob von Raumer
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…