|
Search the dblp DataBase
Marco Gaboardi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marco Gaboardi, Simona Ronchi Della Rocca
A Soft Type Assignment System for lambda -Calculus. [Citation Graph (0, 0)][DBLP] CSL, 2007, pp:253-267 [Conf]
Upper Bounds on Stream I/O Using Semantic Interpretations. [Citation Graph (, )][DBLP]
A PolyTime Functional Language from Light Linear Logic. [Citation Graph (, )][DBLP]
A By-Level Analysis of Multiplicative Exponential Linear Logic. [Citation Graph (, )][DBLP]
A logical account of pspace. [Citation Graph (, )][DBLP]
Type Inference for a Polynomial Lambda Calculus. [Citation Graph (, )][DBLP]
Categorical Models for a Semantically Linear Lambda-calculus [Citation Graph (, )][DBLP]
An Implicit Characterization of PSPACE [Citation Graph (, )][DBLP]
Soft Linear Logic and Polynomial Complexity Classes. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|