37 citations · 105 across the 15 of their papers we have counts for
14 papers · 1 filter
Reversible computations are computations
Clément Aubert, Jean Krivine
Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the obser…
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…
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…
Concurrency Theorems for Non-linear Rewriting Theories
Nicolas Behr, Russ Harmer, Jean Krivine
Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic matches is well-known to permit the modeling of fusing and cloning of vertices and edges, yet to date, no const…
A program for the full axiom of choice
Jean-Louis Krivine
The theory of classical realizability is a framework for the Curry-Howard correspondence which enables to associate a program with each proof in Zermelo-Fraenkel set theory. But, a…
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
Nicolas Behr, Jean Krivine
The Kappa biochemistry and the MØD organo-chemistry frameworks are amongst the most intensely developed applications of rewriting theoretical methods in the life sciences to date.…