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