
Registered user since Wed 26 Sep 2018
Name:Jean Krivine
Country:France
Affiliation:CNRS
Personal website:https://www.irif.fr/~jkrivine/homepage/
Research interests:Graph rewriting, stochastic simulation, formal molecular biology, knowledge representation, causality
Contributions
OPCT 2019 | A Calculus of Branching Processes | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile