The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco Gaboardi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]

  2. Upper Bounds on Stream I/O Using Semantic Interpretations. [Citation Graph (, )][DBLP]


  3. A PolyTime Functional Language from Light Linear Logic. [Citation Graph (, )][DBLP]


  4. A By-Level Analysis of Multiplicative Exponential Linear Logic. [Citation Graph (, )][DBLP]


  5. A logical account of pspace. [Citation Graph (, )][DBLP]


  6. Type Inference for a Polynomial Lambda Calculus. [Citation Graph (, )][DBLP]


  7. Categorical Models for a Semantically Linear Lambda-calculus [Citation Graph (, )][DBLP]


  8. An Implicit Characterization of PSPACE [Citation Graph (, )][DBLP]


  9. Soft Linear Logic and Polynomial Complexity Classes. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002