Documentation
Français (FR)

Anglais (EN)

Thomas Seiller

43

Documents

Publications

	From abstraction and indiscernibility to classification and types: revisiting Hermann Weyl’s theory of ideal elements Jean-Baptiste Joinet , Thomas Seiller Kagaku tetsugaku, 2021, 53 (2), pp.65-93 Article dans une revue hal-03128018v1
	Interaction Graphs: Exponentials Thomas Seiller Logical Methods in Computer Science, 2019, ⟨10.23638/LMCS-15(3:25)2019}⟩ Article dans une revue hal-02345568v1
	Coherent Interaction Graphs Lê Thành Dũng Nguyen , Thomas Seiller Electronic Proceedings in Theoretical Computer Science, 2019, 292, pp.104-117. ⟨10.4204/EPTCS.292.6⟩ Article dans une revue hal-02345618v1
	A correspondence between maximal abelian sub-algebras and linear logic fragments Thomas Seiller Mathematical Structures in Computer Science, 2018, 28 (01), pp.77 - 139. ⟨10.1017/S0960129516000062⟩ Article dans une revue hal-01922452v1
	Interaction Graphs: Nondeterministic Automata Thomas Seiller ACM Transactions on Computational Logic, 2018, 19 (3), pp.1 - 24. ⟨10.1145/3226594⟩ Article dans une revue hal-01922445v1
	An intensionally fully-abstract sheaf model for pi (expanded version) Clovis Eberhart , Tom Hirschowitz , Thomas Seiller Logical Methods in Computer Science, 2017, 13 (4), pp.9. ⟨10.23638/LMCS-13(4:9)2017⟩ Article dans une revue hal-01609945v2
	Interaction graphs: Graphings Thomas Seiller Annals of Pure and Applied Logic, 2017, 168 (2), pp.278 - 320. ⟨10.1016/j.apal.2016.10.007⟩ Article dans une revue hal-01922459v1
	Interaction graphs: Additives Thomas Seiller Annals of Pure and Applied Logic, 2016, 167 (2), pp.95 - 154. ⟨10.1016/j.apal.2015.10.001⟩ Article dans une revue hal-01922470v1
	Logarithmic space and permutations Clément Aubert , Thomas Seiller Information and Computation, 2016, 248, pp.2-21. ⟨10.1016/j.ic.2014.01.018⟩ Article dans une revue hal-02345670v1
	Characterizing co-NL by a group action Clément Aubert , Thomas Seiller Mathematical Structures in Computer Science, 2014, First View, pp.1--33. ⟨10.1017/S0960129514000267⟩ Article dans une revue hal-01005705v1
	Recension de "The blind spot. Lectures on logic" par J.-Y. Girard (European Mathematical Society, 2011). Thomas Seiller , Christian Retoré Gazette des Mathématiciens, 2014, 142, pp.136-143 Article dans une revue hal-01076369v1
	Interaction Graphs: Multiplicatives Thomas Seiller Annals of Pure and Applied Logic, 2012, 163 (12), pp.1808-1837. ⟨10.1016/j.apal.2012.04.005⟩ Article dans une revue hal-01159218v1

	Linear Realisability and Cobordisms Valentin Maestracci , Thomas Seiller FSCD, Sapienza Università Di Roma, Jul 2023, Rome, Italy Communication dans un congrès hal-04262206v1
	Distributing and Parallelizing Non-canonical Loops Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller Verification, Model Checking, and Abstract Interpretation (VMCAI 2023), Jan 2023, Boston (MA), United States. ⟨10.1007/978-3-031-24950-1_1⟩ Communication dans un congrès hal-03669387v2
	Linear realisability over nets and second order quantification Adrien Ragot , Thomas Seiller , Lorenzo Tortora de Falco Trends in Linear Logic and Applications, Jul 2023, Rome, Italy Communication dans un congrès hal-04131640v1
	pymwp: A Static Analyzer Determining Polynomial Growth Bounds Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller Automated Technology for Verification and Analysis (ATVA 2023), Oct 2023, Singapour, France. ⟨10.1007/978-3-031-45332-8_14⟩ Communication dans un congrès hal-03269121v4
	A gentle introduction to Girard's Transcendental Syntax Boris Eng , Thomas Seiller 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy Communication dans un congrès lirmm-03271496v1
	A cartesian bicategory of polynomial functors in homotopy type theory Eric Finster , Samuel Mimram , Maxime Lucas , Thomas Seiller 37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021), Aug 2021, Salzburg, Austria Communication dans un congrès hal-03345938v1
	Unary Resolution: Characterizing Ptime. Clément Aubert , Marc Bagnol , Thomas Seiller Foundations of Software Science and Computation Structures (FOSSACS), Apr 2016, Eindhoven, Netherlands. pp.373-389, ⟨10.1007/978-3-662-49630-5_22⟩ Communication dans un congrès hal-01321239v1
	Interaction Graphs: Full Linear Logic Thomas Seiller IEEE/ACM Logic in Computer Science (LICS) 2016, Jul 2016, New-York, United States. ⟨10.1145/2933575.2934568⟩ Communication dans un congrès hal-01312688v1
	An Intensionally Fully-abstract Sheaf Model for pi Clovis Eberhart , Tom Hirschowitz , Thomas Seiller 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015, Nimègue, Netherlands. pp.86--100, ⟨10.4230/LIPIcs.CALCO.2015.86⟩ Communication dans un congrès hal-00873626v2
	Logic Programming and Logarithmic Space Clément Aubert , Marc Bagnol , Paolo Pistone , Thomas Seiller 12th Asian Symposium, APLAS 2014, Oct 2014, Singapour, Singapore. pp.39-57, ⟨10.1007/978-3-319-12736-1_3⟩ Communication dans un congrès hal-01309159v1

	Loop Quasi-Invariant Chunk Detection Jean-Yves Moyen , Thomas Rubiano , Thomas Seiller Automated Technology for Verification and Analysis. ATVA 2017, pp.91-108, 2017, ⟨10.1007/978-3-319-68167-2_7⟩ Chapitre d'ouvrage hal-02345688v1
	Verificationism and classical realizability Alberto Naibo , Mattia Petrolo , Thomas Seiller 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⟩ Chapitre d'ouvrage hal-01251229v1
	On the computational meaning of axioms Alberto Naibo , Mattia Petrolo , Thomas Seiller 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⟩ Chapitre d'ouvrage halshs-01313400v1

	Zeta Functions and the (Linear) Logic of Markov Processes Thomas Seiller 2024 Pré-publication, Document de travail hal-02458330v6
	Linear realisability on untyped nets Adrien Ragot , Thomas Seiller , Lorenzo Tortora de Falco 2024 Pré-publication, Document de travail hal-04432854v1
	Unifying lower bounds for algebraic machines, semantically Thomas Seiller , Luc Pellissier , Ulysse Léchine 2024 Pré-publication, Document de travail hal-01921942v5
	Simplifying normal functors: an old and a new model of λ-calculus Morgan Rogers , Thomas Seiller , William Troiani 2024 Pré-publication, Document de travail hal-04500078v1
	Certifying Complexity Analysis Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller 2023 Pré-publication, Document de travail hal-04083105v1
	Implicit complexity through linear realisability: polynomial time and probabilistic classes Thomas Seiller 2023 Pré-publication, Document de travail hal-02458358v2
	Agafonov’s Proof of Agafonov’s Theorem: A Modern Account and New Insights Thomas Seiller , Jakob Grue Simonsen 2022 Pré-publication, Document de travail hal-02891463v2
	Agafonov's Theorem for finite and infinite alphabets and probability distributions different from equidistribution Thomas Seiller , Jakob Grue Simonsen 2022 Pré-publication, Document de travail hal-02993635v3
	Multiplicative linear logic from a resolution-based tile system Boris Eng , Thomas Seiller 2022 Pré-publication, Document de travail hal-03725336v1
	An extended and more practical mwp flow analysis Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller 2021 Pré-publication, Document de travail hal-03269096v2
	Lower bounds for algebraic machines, semantically Luc Pellissier , Thomas Seiller 2021 Pré-publication, Document de travail hal-02487667v2
	Multiplicative Linear Logic from Logic Programs and Tilings Boris Eng , Thomas Seiller 2021 Pré-publication, Document de travail hal-02895111v3
	Finite semantics of polymorphism, complexity and the power of type fixpoints Lê Thành Dũng Nguyễn , Thomas Seiller , Paolo Pistone , Lorenzo Tortora de Falco 2019 Pré-publication, Document de travail hal-01979009v1
	Interaction Graphs: Full Linear Logic Thomas Seiller 2015 Pré-publication, Document de travail hal-01141292v1
	On the Computational Meaning of Axioms Alberto Naibo , Mattia Petrolo , Thomas Seiller 2014 Pré-publication, Document de travail hal-00930222v1
	Logarithmic Space and Permutations Clément Aubert , Thomas Seiller 2013 Pré-publication, Document de travail hal-01005701v1

	Memoization for Unary Logic Programming: Characterizing PTIME Clément Aubert , Marc Bagnol , Thomas Seiller [Research Report] RR-8796, INRIA Grenoble - Rhône-Alpes; Université Paris-Est, LACL (EA 4219), UPEC, F-94010 Créteil, France; Aix Marseille Université, CNRS, Centrale Marseille, I2M UMR 7373, 13453, Marseille, France; IHÉS. 2015, pp.28 Rapport hal-01107377v3

	Logique dans le Facteur Hyperfini: Géométrie de l'Interaction et Complexité Thomas Seiller Logique [math.LO]. Aix-Marseille Université, 2012. Français. ⟨NNT : ⟩ Thèse tel-00768403v1