Accéder directement au contenu

Thomas Seiller

46
Documents

Publications

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⟩
Article dans une revue hal-02458330v6
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⟩
Article dans une revue hal-01921942v7
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
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

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

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: 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
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⟩
Article dans une revue hal-01609945v2

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

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
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⟩
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
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⟩
Communication dans un congrès hal-04563952v1
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⟩
Communication dans un congrès hal-03269121v4
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⟩
Communication dans un congrès hal-03669387v2
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
Communication dans un congrès hal-04131640v1
Image document

Linear Realisability and Cobordisms

Valentin Maestracci , Thomas Seiller
FSCD, Sapienza Università Di Roma, Jul 2023, Rome, Italy
Communication dans un congrès hal-04262206v1
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
Communication dans un congrès lirmm-03271496v1
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
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
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⟩
Communication dans un congrès hal-00873626v2
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⟩
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
Image document

Correctness Criteria for Second Order Multiplicative Linear Logic

Adrien Ragot , Thomas Seiller , Lorenzo Tortora de Falco
2025
Pré-publication, Document de travail hal-04947011v2
Image document

Linear realisability on untyped nets

Adrien Ragot , Thomas Seiller , Lorenzo Tortora de Falco
2024
Pré-publication, Document de travail hal-04432854v1
Image document

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
Image document

Implicit complexity through linear realisability: polynomial time and probabilistic classes

Thomas Seiller
2023
Pré-publication, Document de travail hal-02458358v2
Image document

Certifying Complexity Analysis

Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller
2023
Pré-publication, Document de travail hal-04083105v1
Image document

Multiplicative linear logic from a resolution-based tile system

Boris Eng , Thomas Seiller
2022
Pré-publication, Document de travail hal-03725336v1
Image document

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
Image document

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
Image document

Multiplicative Linear Logic from Logic Programs and Tilings

Boris Eng , Thomas Seiller
2021
Pré-publication, Document de travail hal-02895111v3
Image document

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
Image document

Lower bounds for algebraic machines, semantically

Luc Pellissier , Thomas Seiller
2021
Pré-publication, Document de travail hal-02487667v2
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
Pré-publication, Document de travail hal-01979009v1
Image document

Interaction Graphs: Full Linear Logic

Thomas Seiller
2015
Pré-publication, Document de travail hal-01141292v1
Image document

On the Computational Meaning of Axioms

Alberto Naibo , Mattia Petrolo , Thomas Seiller
2014
Pré-publication, Document de travail hal-00930222v1
Image document

Logarithmic Space and Permutations

Clément Aubert , Thomas Seiller
2013
Pré-publication, Document de travail hal-01005701v1
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
Rapport hal-01107377v3
Image document

Mathematical Informatics

Thomas Seiller
Discrete Mathematics [cs.DM]. Université Sorbonne Paris Nord, 2024
HDR tel-04616661v2