21 citations · 56 across the 6 of their papers we have counts for
1 paper · 1 filter
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…