All papers authored by Thomas Seiller
Refreshing results…
2023
Clément Aubert 
,
Thomas Rubiano,
Neea Rusch ,
Thomas Seiller
,
Thomas Rubiano,
Neea Rusch ,
Thomas Seiller
Distributing and Parallelizing Non-canonical Loops
Download from zenodo.org
2021
Jean-Baptiste Joinet,
Thomas Seiller
From abstraction and indiscernibility to classification and types:
Upload
2017
Jean-Yves Moyen,
Thomas Rubiano,
Thomas Seiller
Loop Quasi-Invariant Chunk Motion by peeling with statement composition
Download from doi.org
Clément Aubert ,
Marc Bagnol,
Thomas Seiller
,
Marc Bagnol,
Thomas Seiller
Unary Resolution: Characterizing Ptime
Download from zenodo.org
2015
C. Eberhart,
T. Hirschowitz,
T. Seiller
An intensionally fully-abstract sheaf model for π
Upload
Thomas Seiller
A Correspondence between Maximal Abelian Sub-Algebras and Linear Logic Fragments
Download from arxiv.org
Alberto Naibo,
Mattia Petrolo,
Thomas Seiller
On the Computational Meaning of Axioms
Download from hal.archives-ouvertes.fr
Clément Aubert ,
Marc Bagnol,
Paolo Pistone,
Thomas Seiller
,
Marc Bagnol,
Paolo Pistone,
Thomas Seiller
Logic Programming and Logarithmic Space
Download from hal.archives-ouvertes.fr
Missing publications? Search for publications with a matching author name.