|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca |
An Implicit Characterization of PSPACE.  |
ACM Trans. Comput. Log.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Marco Gaboardi |
Linear Dependent Types and Relative Completeness |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marco Gaboardi, Luca Paolini, Mauro Piccolo |
Linearity and PCF: a semantic insight! |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Marco Gaboardi |
Linear Dependent Types and Relative Completeness. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca |
An Implicit Characterization of PSPACE |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Patrick Baillot, Marco Gaboardi, Virgile Mogbil |
A PolyTime Functional Language from Light Linear Logic. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Simona Ronchi Della Rocca |
From light logics to type assignments: a case study. |
Logic Journal of the IGPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Mauro Piccolo |
Categorical Models for a Semantically Linear Lambda-calculus |
LINEARITY |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Luca Roversi, Luca Vercelli |
A By-Level Analysis of Multiplicative Exponential Linear Logic. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Romain Péchoux |
Upper Bounds on Stream I/O Using Semantic Interpretations. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Romain Péchoux |
Global and Local Space Properties of Stream Programs. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca |
Soft Linear Logic and Polynomial Complexity Classes. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca |
A logical account of pspace. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
type assignment, linear logic, implicit computational complexity, polynomial space |
| 1 | Marco Gaboardi, Simona Ronchi Della Rocca |
Type Inference for a Polynomial Lambda Calculus. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Simona Ronchi Della Rocca |
A Soft Type Assignment System for lambda -Calculus. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")