A Tractable Logic for Molecular Biology

by Adrien Husson, Jean Krivine
Published 2019-09-01

Interactions between Causal Structures in Graph Rewriting Systems

by Ioana Cristescu, Walter Fontana, Jean Krivine
Published 2019-01-01

Combinatorial complexity and compositional drift in protein interaction networks.

by Eric J Deeds, Jean Krivine, Jérôme Feret, Vincent Danos, Walter Fontana
Published 2012-01-01