54 citations · 312 across the 36 of their papers we have counts for
1 paper · 2 filters
Cameron Calk, Eric Goubault, Philippe Malbos +1
We extend the formalisation of confluence results in Kleene algebras to a formalisation of coherent confluence proofs. For this, we introduce the structure of higher globular Kleen…