Mots-clés

Nombre de documents

15


Article dans une revue3 documents

  • Thomas Seiller, Christian Retoré. Recension de "The blind spot. Lectures on logic" par J.-Y. Girard (European Mathematical Society, 2011).. Gazette des Mathématiciens, Société Mathématique de France, 2014, 142, pp.136-143. 〈hal-01076369〉
  • Clément Aubert, Thomas Seiller. Characterizing co-NL by a group action. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2014, First View, pp.1--33. 〈10.1017/S0960129514000267〉. 〈hal-01005705〉
  • Thomas Seiller. Interaction Graphs: Multiplicatives. Annals of Pure and Applied Logic, Elsevier Masson, 2012, 163 (12), pp.1808-1837. 〈10.1016/j.apal.2012.04.005〉. 〈hal-01159218〉

Communication dans un congrès4 documents

Chapitre d'ouvrage2 documents

Pré-publication, Document de travail4 documents

  • Clovis Eberhart, Tom Hirschowitz, Thomas Seiller. An intensionally fully-abstract sheaf model for π (expanded version). 2017. 〈hal-01609945〉
  • 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. Accepté pour publication dans le numéro spécial consacré à la complexité implicite de Infor.. 2013. 〈hal-01005701〉

Rapport1 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〉

Thèse1 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〉