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
2019
POPL 2019-profile
View general profile
View general profile