Thomas Seiller

49
Documents

Publications

24
12
4
3
3
1
1
1
8
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
3
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
12
9
4
3
3
2
2
2
2
1
6

Publications

Deposit thumbnail

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

Thomas Seiller , Jakob Grue Simonsen

Ergodic Theory and Dynamical Systems, 2025, 45 (11), pp.3506-3539. ⟨10.1017/etds.2025.19⟩

Article dans une revue hal-02993635v3
Deposit thumbnail

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⟩

Article dans une revue hal-01921942v7
Deposit thumbnail

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⟩

Article dans une revue hal-02458330v6
Deposit thumbnail

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

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

Interaction Graphs: Exponentials

Thomas Seiller

Logical Methods in Computer Science, 2019, ⟨10.23638/LMCS-15(3:25)2019}⟩

Article dans une revue hal-02345568v1

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

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
Deposit thumbnail

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: 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

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
Deposit thumbnail

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

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
Deposit thumbnail

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⟩

Communication dans un congrès hal-04563952v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Linear Realisability and Cobordisms

Valentin Maestracci , Thomas Seiller

FSCD, Sapienza Università Di Roma, Jul 2023, Rome, Italy

Communication dans un congrès hal-04262206v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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
Deposit thumbnail

Linear Realisability and Implicative Algebras

Alexandre Lucquin , Luc Pellissier , Thomas Seiller

2026

Pré-publication, Document de travail hal-05474801v1
Deposit thumbnail

Geometric Structures in $\mathbb{R}$-enriched adjunctions

Juan Luis Gastaldi , Samantha Jarvis , Thomas Seiller , John Terilla

2026

Pré-publication, Document de travail hal-05452748v1
Deposit thumbnail

Correctness Criteria for Second Order Multiplicative Linear Logic

Adrien Ragot , Thomas Seiller , Lorenzo Tortora de Falco

2025

Pré-publication, Document de travail hal-04947011v2
Deposit thumbnail

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
Deposit thumbnail

Linear realisability on untyped nets

Adrien Ragot , Thomas Seiller , Lorenzo Tortora de Falco

2024

Pré-publication, Document de travail hal-04432854v1
Deposit thumbnail

Implicit complexity through linear realisability: polynomial time and probabilistic classes

Thomas Seiller

2023

Pré-publication, Document de travail hal-02458358v2
Deposit thumbnail

Certifying Complexity Analysis

Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller

2023

Pré-publication, Document de travail hal-04083105v1
Deposit thumbnail

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
Deposit thumbnail

Multiplicative linear logic from a resolution-based tile system

Boris Eng , Thomas Seiller

2022

Pré-publication, Document de travail hal-03725336v1
Deposit thumbnail

Lower bounds for algebraic machines, semantically

Luc Pellissier , Thomas Seiller

2021

Pré-publication, Document de travail hal-02487667v2
Deposit thumbnail

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
Deposit thumbnail

Multiplicative Linear Logic from Logic Programs and Tilings

Boris Eng , Thomas Seiller

2021

Pré-publication, Document de travail hal-02895111v3
Deposit thumbnail

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
Deposit thumbnail

Interaction Graphs: Full Linear Logic

Thomas Seiller

2015

Pré-publication, Document de travail hal-01141292v1
Deposit thumbnail

On the Computational Meaning of Axioms

Alberto Naibo , Mattia Petrolo , Thomas Seiller

2014

Pré-publication, Document de travail hal-00930222v1
Deposit thumbnail

Logarithmic Space and Permutations

Clément Aubert , Thomas Seiller

2013

Pré-publication, Document de travail hal-01005701v1
Deposit thumbnail

Section 06 Sciences de l’information : fondements de l’informatique, calculs, algorithmes, représentations, exploitations

Nathalie Appel , Jérémie Bourdon , Nicolas Bousquet , Johanne Cohen , Antoine Genitrini et al.

CNRS. 2025, pp.1-20

Rapport hal-05238890v1
Deposit thumbnail

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 (rapport de recherche) hal-01107377v3
Deposit thumbnail

Mathematical Informatics

Thomas Seiller

Discrete Mathematics [cs.DM]. Université Sorbonne Paris Nord, 2024

HDR tel-04616661v3