1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
Fundamentals of Compositional Rewriting Theory
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…
cs.LO2021★ 1 cited
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version)
Nicolas Behr, Jean Krivine, Jakob L. Andersen +1
The Kappa biochemistry and the MØD organic chemistry frameworks are amongst the most intensely developed applications of rewriting-based methods in the life sciences to date. A typ…