1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…