An Implicit Characterization of PSPACE

Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca

We present a type system for an extension of lambda calculus with a conditional construction, named STAB, that characterizes the PSPACE class. This system is obtained by extending…