V
Vincent Danos
Researcher at École Normale Supérieure
Publications - 153
Citations - 8533
Vincent Danos is an academic researcher from École Normale Supérieure. The author has contributed to research in topics: Rule-based system & Graph rewriting. The author has an hindex of 42, co-authored 151 publications receiving 8065 citations. Previous affiliations of Vincent Danos include Centre national de la recherche scientifique & University of Paris.
Papers
More filters
Book ChapterDOI
Disjunctive Tautologies as Synchronisation Schemes
Vincent Danos,Jean-Louis Krivine +1 more
TL;DR: In the ambient logic of classical second order propositional calculus, the specification problem for a family of excluded middle like tautologies is solved and these are shown to be realized by sequential simulations of specific communication schemes for which they provide a safe typing mechanism.
Journal ArticleDOI
Formal molecular biology
Vincent Danos,Cosimo Laneve +1 more
TL;DR: A finer-grained concurrent model, the mK-calculus, is considered, where interactions have to be at most binary, and it is shown how to embed the coarser- grained language in the latter, a properly which the authors call self-assembly.
Journal ArticleDOI
The structure of multiplicatives
Vincent Danos,Laurent Regnier +1 more
TL;DR: Investigating Girard's new propositionnal calculus, which aims at a large scale study of computation, there is a stumble quickly on that question: What is a multiplicative connective?
Book ChapterDOI
Reversible communicating systems
Vincent Danos,Jean Krivine +1 more
TL;DR: In this paper, a process algebra in the style of CCS is presented, where processes can backtrack, just as plain forward computation, and incurs no additional cost on the communication structure.
Journal ArticleDOI
Mechanistic links between cellular trade-offs, gene expression, and growth.
TL;DR: The model couples gene expression with growth rate and growth rate with a growing population of cells and recovers Monod’s law for the growth of microbes and two other empirical relationships connecting growth rate to the mass fraction of ribosomes.