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