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
Beyond the tumour microenvironment
auteur
Lucie Laplane, Dorothee Duluc, Andréas Bikfalvi, Nicolas Larmonier, Thomas Pradeu
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02269660/file/Laplane-Duluc-Bikfalvi-Larmonier-Pradeu_Beyond%20the%20tumour%20microenvironment.pdf BibTex