M. Thomas Seiller
Chargé de recherche
Publications
2024
Notice d’encyclopédie ou de dictionnaire
- titre
- Algorithme
- auteur
- Alberto Naibo, Thomas Seiller
- article
- Encyclopaedia Universalis, 2024, https://www.universalis.fr/encyclopedie/algorithme/
- typdoc
- Notice d’encyclopédie ou de dictionnaire
- Accès au bibtex
-
2016
Chapitre d'ouvrage
- titre
- On the computational meaning of axioms
- auteur
- Alberto Naibo, Mattia Petrolo, Thomas Seiller
- article
- Epistemology, Knowledge and the Impact of Interaction, 38, Springer, pp. 141-184, 2016, Logic, Epistemology, and the Unity of Science, 978-3-319-26504-9. ⟨10.1007/978-3-319-26506-3_5⟩
- typdoc
- Chapitre d'ouvrage
- Accès au bibtex
-
- titre
- Verificationism and classical realizability
- auteur
- Alberto Naibo, Mattia Petrolo, Thomas Seiller
- article
- Perspectives on Interrogative Models of Inquiry, 8, Springer, pp.163-197, 2016, Logic, Argumentation & Reasoning, 978-3-319-20761-2. ⟨10.1007/978-3-319-20762-9_9⟩
- typdoc
- Chapitre d'ouvrage
- Accès au bibtex
-
2014
Pré-publication, Document de travail
- titre
- On the Computational Meaning of Axioms
- auteur
- Alberto Naibo, Mattia Petrolo, Thomas Seiller
- article
- 2014
- typdoc
- Pré-publication, Document de travail
- Accès au texte intégral et bibtex
-
