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
- Dieu est-il mathématicien ?" de Mario Livio
- auteur
- Vincent Ardourel
- Accès au texte intégral et bibtex
-