Keywords

Number of documents

21


Journal articles8 documents

Conference papers4 documents

Book sections2 documents

Preprints, Working Papers, ...5 documents

  • 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⟩
  • Luc Pellissier, Thomas Seiller. PRAMs over integers do not compute maxflow efficiently. 2018. ⟨hal-01921942⟩
  • 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⟩