Logarithmic Space and Permutations

  title={Logarithmic Space and Permutations},
  author={Thomas Seiller and Cl{\'e}ment Aubert},
  journal={Inf. Comput.},
In a recent work, Girard [1] proposed a new and innovative approach to computational complexity based on the proofs-as-programs correspondence. In a previous paper [2], the authors showed how Girard’s proposal succeeds in obtaining a new characterization of co-NL languages as a set of operators acting on a Hilbert Space. In this paper, we extend this work by showing that it is also possible to define a set of operators characterizing the class L of logarithmic space languages. 
Highly Cited
This paper has 17 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS

From This Paper

Figures, tables, and topics from this paper.
12 Citations
25 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 25 references

Geometry of interaction 1: Interpretation of system F

  • J.-Y. Girard
  • Studies in Logic and the Foundations of…
  • 1016
Highly Influential
6 Excerpts

Logique dans le facteur hyperfini : géometrie de l’interaction et complexité

  • T. Seiller
  • Ph.D. thesis, Université de la Méditerranée
  • 2012
1 Excerpt

Geometry of interaction I : Interpretation of system f

  • J.-Y. Girard
  • Stud - ies in Logic and the Foundations of…
  • 2011

Sublogarithmic uniform boolean proof nets

  • J.-Y. Girard
  • Proceedings of the AMS Conference on Categories…
  • 2009

Similar Papers

Loading similar papers…