Mots-clés

Nombre de documents

14


Article dans une revue4 documents

  • Clovis Eberhart, Tom Hirschowitz, Thomas Seiller. An Intensionally Fully-abstract Sheaf Model for pi. Leibniz International Proceedings in Informatics (LIPIcs), 2015, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 35, pp.86--100. <http://drops.dagstuhl.de/opus/volltexte/2015/5528>. <10.4230/LIPIcs.CALCO.2015.86>. <hal-00873626v2>
  • 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ès3 documents

  • Thomas Seiller, Clément Aubert, Marc Bagnol. Unary Resolution: Characterizing Ptime.. Foundations of Software Science and Computation Structures (FOSSACS), Apr 2016, Eindhoven, Netherlands. 2016, Foundations of Software Science and Computation Structures - 19th International Conference, 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. <10.1007/978-3-662-49630-5_22>. <hal-01321239>
  • Thomas Seiller. Interaction Graphs: Full Linear Logic. IEEE/ACM Logic in Computer Science (LICS) 2016, Jul 2016, New-York, United States. Proceedings of LICS'16. <10.1145/2933575.2934568>. <hal-01312688>
  • Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller. Logic Programming and Logarithmic Space. Jacques Garrigue. 12th Asian Symposium, APLAS 2014, Oct 2014, Singapour, Singapore. Springer International Publishing, Lecture Notes in Computer Science, 8858, pp.39-57, 2014, Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings. <http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/>. <10.1007/978-3-319-12736-1_3>. <hal-01309159>

Chapitre d'ouvrage2 documents

Pré-publication, Document de travail3 documents

  • 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 Information.. 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>