Jean Krivine

Latest

• Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
• Compositionality of Rewriting Rules with Conditions