Thomas Seiller

46
Documents

Publications

23
12
4
3
3
1
7
7
5
4
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
10
4
3
3
3
3
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
10
9
4
3
3
2
2
2
2
1
4
2

Publications

Image document

Unifying lower bounds for algebraic machines, semantically

Thomas Seiller , Luc Pellissier , Ulysse Léchine
Information and Computation, 2024, 301, pp.105232. ⟨10.1016/j.ic.2024.105232⟩
Journal articles hal-01921942 v7
Image document

Zeta Functions and the (Linear) Logic of Markov Processes

Thomas Seiller
Logical Methods in Computer Science, 2024, Volume 20 (3), ⟨10.46298/lmcs-20(3:18)2024⟩
Journal articles hal-02458330 v6
Image document

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
Journal articles hal-03128018 v1

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⟩
Journal articles hal-02345618 v1

Interaction Graphs: Exponentials

Thomas Seiller
Logical Methods in Computer Science, 2019, ⟨10.23638/LMCS-15(3:25)2019}⟩
Journal articles hal-02345568 v1

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⟩
Journal articles hal-01922452 v1

Interaction Graphs: Nondeterministic Automata

Thomas Seiller
ACM Transactions on Computational Logic, 2018, 19 (3), pp.1 - 24. ⟨10.1145/3226594⟩
Journal articles hal-01922445 v1

Interaction graphs: Graphings

Thomas Seiller
Annals of Pure and Applied Logic, 2017, 168 (2), pp.278 - 320. ⟨10.1016/j.apal.2016.10.007⟩
Journal articles hal-01922459 v1
Image document

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⟩
Journal articles hal-01609945 v2

Interaction graphs: Additives

Thomas Seiller
Annals of Pure and Applied Logic, 2016, 167 (2), pp.95 - 154. ⟨10.1016/j.apal.2015.10.001⟩
Journal articles hal-01922470 v1

Logarithmic space and permutations

Clément Aubert , Thomas Seiller
Information and Computation, 2016, 248, pp.2-21. ⟨10.1016/j.ic.2014.01.018⟩
Journal articles hal-02345670 v1

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
Journal articles hal-01076369 v1
Image document

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⟩
Journal articles hal-01005705 v1

Interaction Graphs: Multiplicatives

Thomas Seiller
Annals of Pure and Applied Logic, 2012, 163 (12), pp.1808-1837. ⟨10.1016/j.apal.2012.04.005⟩
Journal articles hal-01159218 v1
Image document

Agafonov's theorem for probabilistic selectors

Ulysse Léchine , Thomas Seiller , Jakob Grue Simonsen
Mathematical Foundations of Computer Science, Aug 2024, Bratislava, Slovakia. pp.67:1-67:15, ⟨10.4230/LIPIcs.MFCS.2024.67⟩
Conference papers hal-04563952 v1
Image document

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⟩
Conference papers hal-03669387 v2
Image document

Linear Realisability and Cobordisms

Valentin Maestracci , Thomas Seiller
FSCD, Sapienza Università Di Roma, Jul 2023, Rome, Italy
Conference papers hal-04262206 v1
Image document

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⟩
Conference papers hal-03269121 v4
Image document

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
Conference papers hal-04131640 v1
Image document

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
Conference papers lirmm-03271496 v1
Image document

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
Conference papers hal-03345938 v1

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⟩
Conference papers hal-01321239 v1

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⟩
Conference papers hal-01312688 v1
Image document

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⟩
Conference papers hal-00873626 v2
Image document

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⟩
Conference papers hal-01309159 v1

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⟩
Book sections hal-02345688 v1

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⟩
Book sections hal-01251229 v1

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⟩
Book sections halshs-01313400 v1
Image document

Correctness Criteria for Second Order Multiplicative Linear Logic

Adrien Ragot , Thomas Seiller , Lorenzo Tortora de Falco
2025
Preprints, Working Papers, ... hal-04947011 v2
Image document

Linear realisability on untyped nets

Adrien Ragot , Thomas Seiller , Lorenzo Tortora de Falco
2024
Preprints, Working Papers, ... hal-04432854 v1
Image document

Simplifying normal functors: an old and a new model of λ-calculus

Morgan Rogers , Thomas Seiller , William Troiani
2024
Preprints, Working Papers, ... hal-04500078 v1
Image document

Implicit complexity through linear realisability: polynomial time and probabilistic classes

Thomas Seiller
2023
Preprints, Working Papers, ... hal-02458358 v2
Image document

Certifying Complexity Analysis

Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller
2023
Preprints, Working Papers, ... hal-04083105 v1
Image document

Agafonov’s Proof of Agafonov’s Theorem: A Modern Account and New Insights

Thomas Seiller , Jakob Grue Simonsen
2022
Preprints, Working Papers, ... hal-02891463 v2
Image document

Agafonov's Theorem for finite and infinite alphabets and probability distributions different from equidistribution

Thomas Seiller , Jakob Grue Simonsen
2022
Preprints, Working Papers, ... hal-02993635 v3
Image document

Multiplicative linear logic from a resolution-based tile system

Boris Eng , Thomas Seiller
2022
Preprints, Working Papers, ... hal-03725336 v1
Image document

An extended and more practical mwp flow analysis

Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller
2021
Preprints, Working Papers, ... hal-03269096 v2
Image document

Multiplicative Linear Logic from Logic Programs and Tilings

Boris Eng , Thomas Seiller
2021
Preprints, Working Papers, ... hal-02895111 v3
Image document

Lower bounds for algebraic machines, semantically

Luc Pellissier , Thomas Seiller
2021
Preprints, Working Papers, ... hal-02487667 v2
Image document

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
Preprints, Working Papers, ... hal-01979009 v1
Image document

Interaction Graphs: Full Linear Logic

Thomas Seiller
2015
Preprints, Working Papers, ... hal-01141292 v1
Image document

On the Computational Meaning of Axioms

Alberto Naibo , Mattia Petrolo , Thomas Seiller
2014
Preprints, Working Papers, ... hal-00930222 v1
Image document

Logarithmic Space and Permutations

Clément Aubert , Thomas Seiller
2013
Preprints, Working Papers, ... hal-01005701 v1
Image document

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
Reports (Research report) hal-01107377 v3
Image document

Mathematical Informatics

Thomas Seiller
Discrete Mathematics [cs.DM]. Université Sorbonne Paris Nord, 2024
Habilitation à diriger des recherches tel-04616661 v2