dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marco Gaboardi Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: An Implicit Characterization of PSPACE. ACM Trans. Comput. Log. 13(2): 18 (2012)
2011
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Luca Paolini, Mauro Piccolo: Linearity and PCF: a semantic insight! ICFP 2011: 372-384
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Dal Lago, Marco Gaboardi: Linear Dependent Types and Relative Completeness. LICS 2011: 133-142
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Dal Lago, Marco Gaboardi: Linear Dependent Types and Relative Completeness CoRR abs/1104.0193: (2011)
2010
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Baillot, Marco Gaboardi, Virgile Mogbil: A PolyTime Functional Language from Light Linear Logic. ESOP 2010: 104-124
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: An Implicit Characterization of PSPACE CoRR abs/1006.0030: (2010)
2009
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Romain Péchoux: Upper Bounds on Stream I/O Using Semantic Interpretations. CSL 2009: 271-286
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Romain Péchoux: Global and Local Space Properties of Stream Programs. FOPARA 2009: 51-66
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Mauro Piccolo: Categorical Models for a Semantically Linear Lambda-calculus LINEARITY 2009: 1-13
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Luca Roversi, Luca Vercelli: A By-Level Analysis of Multiplicative Exponential Linear Logic. MFCS 2009: 344-355
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Simona Ronchi Della Rocca: From light logics to type assignments: a case study. Logic Journal of the IGPL 17(5): 499-530 (2009)
2008
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: A logical account of pspace. POPL 2008: 121-131
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Simona Ronchi Della Rocca: Type Inference for a Polynomial Lambda Calculus. TYPES 2008: 136-152
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: Soft Linear Logic and Polynomial Complexity Classes. Electr. Notes Theor. Comput. Sci. 205: 67-87 (2008)
2007
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Simona Ronchi Della Rocca: A Soft Type Assignment System for lambda -Calculus. CSL 2007: 253-267

Coauthor Index

1Patrick Baillot [11]
2Ugo Dal Lago [12] [13]
3Jean-Yves Marion [2] [4] [10] [15]
4Virgile Mogbil [11]
5Luca Paolini [14]
6Romain Péchoux [8] [9]
7Mauro Piccolo [7] [14]
8Simona Ronchi Della Rocca [1] [2] [3] [4] [5] [10] [15]
9Luca Roversi [6]
10Luca Vercelli [6]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page