Publications HAL du labo/EPI IHPST

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
https://hal.archives-ouvertes.fr/hal-02357025/file/hal-popl-clinear.pdf BibTex
titre
MEASURE AND CONTINUITY IN ARISTOTLE'S PHYSICS V 3 (AND NEIGHBOURHOODS)
auteur
Marco Panza
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-02377001/file/Mesure%28Final%29.pdf BibTex

2019

titre
Dieu est-il mathématicien ?" de Mario Livio
auteur
Vincent Ardourel
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02118611/file/Ardourel%20Vincent%202019%20Gazette%20des%20mathematiciens.pdf BibTex