Seiller, Thomas, 1984-....
Thomas Seiller Chercheur au CNRS
VIAF ID: 305295589 (Personal)
Permalink: http://viaf.org/viaf/305295589
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Un cadre pour les espaces localement structurés - application aux modèles géométriques de la concurrence. | |
Une exégèse de la syntaxe transcendantale. | |
An exegesis of transcendental syntax : A journey into the logical machinery | |
Implicit automata in linear logic and categorical transducer theory | |
Logique dans le facteur hyperfini : Géométrie de l' interaction et complexité |