279 citations · 1.1k across the 46 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
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…
cs.LO2010★ 2 cited
Categorical Models for a Semantically Linear Lambda-calculus
Marco Gaboardi, Mauro Piccolo
This paper is about a categorical approach to model a very simple Semantically Linear lambda calculus, named Sll-calculus. This is a core calculus underlying the programming langua…