Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Vincent Danos
Vincent Danos
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Mathematics
Edit
Merge
See Links
Thesis:
La Logique Linéaire appliquée à l'étude de divers processus de normalisation (principalement du Lambda-calcul)
Directed Thesis:
Abstractions of biochemical reaction networks
Typage et contrôle de la mobilité
Etude d'un formalisme concurrent pour les phénomènes d'auto-organisation et la biologie moléculaire
Jeux abstraits et composition catégorique
Reseaux, coherence et experiences obsessionnelles