A logical account of PSPACE (0)

by M Gaboardi, J-Y Marion, Ronchi Della Rocca, S 2008a
Venue:In 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2008