37 citations · 105 across the 15 of their papers we have counts for
1 paper · 1 filter
Nicolas Behr, Russ Harmer, Jean Krivine
A foundational theory of compositional categorical rewriting theory is presented, based on a collection of fibration-like properties that collectively induce and intrinsically stru…