Skip to Main content


Number of documents


Journal articles11 documents

Conference papers4 documents

Book sections3 documents

Preprints, Working Papers, ...12 documents

  • Boris Eng, Thomas Seiller. Multiplicative Linear Logic from Logic Programs and Tilings. 2021. ⟨hal-02895111v3⟩
  • Thomas Seiller. Zeta Functions and the (Linear) Logic of Markov Processes. 2021. ⟨hal-02458330v3⟩
  • Luc Pellissier, Thomas Seiller. Lower bounds for algebraic machines, semantically. 2021. ⟨hal-02487667v2⟩
  • Jean-Baptiste Joinet, Thomas Seiller. From abstraction and indiscernibility to classification and types: revisiting Hermann Weyl’s theory of ideal elements. 2021. ⟨hal-03128018⟩
  • Luc Pellissier, Thomas Seiller. PRAMs over integers do not compute maxflow efficiently. 2021. ⟨hal-01921942v2⟩
  • Thomas Seiller. Probabilistic Complexity Classes through Semantics. 2020. ⟨hal-02458358⟩
  • Thomas Seiller, Jakob Simonsen. An Embellished Account of Agafonov's Proof of Agafonov's Theorem. 2020. ⟨hal-02891463⟩
  • Thomas Seiller, Jakob Simonsen. Agafonov's Theorem for finite and infinite alphabets and probability distributions different from equidistribution. 2020. ⟨hal-02993635⟩
  • Lê Thành Dũng Nguyễn, Thomas Seiller, Paolo Pistone, Lorenzo Tortora de Falco. Finite semantics of polymorphism, complexity and the power of type fixpoints. 2019. ⟨hal-01979009⟩
  • Thomas Seiller. Interaction Graphs: Full Linear Logic. 2015. ⟨hal-01141292⟩
  • Alberto Naibo, Mattia Petrolo, Thomas Seiller. On the Computational Meaning of Axioms. 2014. ⟨hal-00930222⟩
  • Clément Aubert, Thomas Seiller. Logarithmic Space and Permutations. 2013. ⟨hal-01005701⟩

Reports1 document

  • Clément Aubert, Marc Bagnol, Thomas Seiller. Memoization for Unary Logic Programming: Characterizing PTIME. [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. ⟨hal-01107377v3⟩

Theses1 document

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