Publications HAL du labo/EPI IHPST

2020

titre
Powers, Dispositions and Laws of Nature
auteur
Max Kistler
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-02559629/file/Innsbruck-2013-1.pdf BibTex
titre
Note sull'evoluzione delle nozioni di continuità e di continuo in matematica
auteur
Marco Panza
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-02509618/file/continuita%CC%80.pdf BibTex
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