most citedIntersection Logic in sequent calculus style

1 citations · 1 across the 2 of their papers we have counts for

collaborators

1 paper

cs.LO2010

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…