2020
- titre
- Par Means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs
- auteur
- Federico Aschieri, Francesco Genco
- Accès au texte intégral et bibtex
-
- titre
- MEASURE AND CONTINUITY IN ARISTOTLE'S PHYSICS V 3 (AND NEIGHBOURHOODS)
- auteur
- Marco Panza
- Accès au texte intégral et bibtex
-
2019
- titre
- Beyond the tumour microenvironment
- auteur
- Lucie Laplane, Dorothee Duluc, Andréas Bikfalvi, Nicolas Larmonier, Thomas Pradeu
- Accès au texte intégral et bibtex
-