| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ugo Dal Lago, Paolo Parisen Toldin |
An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version)  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Beniamino Accattoli, Ugo Dal Lago |
On the Invariance of the Unitary Cost Model for Head Reduction (Long Version) |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
Realizability models and implicit complexity. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Baillot, Paolo Coppola, Ugo Dal Lago |
Light logics and optimal reduction: Completeness and complexity. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi |
Confluence Results for a Quantum Lambda Calculus with Measurements. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Paolo Di Giamberardino |
Soft Session Types (Long Version) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Margherita Zorzi |
Probabilistic Operational Semantics for the Lambda Calculus |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Marco Gaboardi |
Linear Dependent Types and Relative Completeness |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Paolo Di Giamberardino |
Soft Session Types |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Marco Gaboardi |
Linear Dependent Types and Relative Completeness. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi |
Quantum implicit computational complexity. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
Bounded Linear Logic, Revisited |
Logical Methods in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Simone Martini, Margherita Zorzi |
General Ramified Recurrence is Sound for Polynomial Time |
DICE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Simone Martini, Davide Sangiorgi |
Light Logics and Higher-Order Processes |
EXPRESS'10 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
A Semantic Proof of Polytime Soundness of Light Affine Logic. |
Theory Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Ulrich Schöpp |
Type Inference for Sublinear Space Functional Programming. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Ulrich Schöpp |
Functional Programming in Sublinear Space. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi |
On a measurement-free quantum lambda calculus with classical control. |
Mathematical Structures in Computer Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi |
Confluence Results for a Quantum Lambda Calculus with Measurements |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Simone Martini |
On Constructor Rewrite Systems and the Lambda-Calculus |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago |
The geometry of linear higher-order recursion. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
higher-order recursion, type systems, lambda calculus, implicit computational complexity, Geometry of interaction |
| 1 | Ugo Dal Lago |
Context semantics, linear logic, and computational complexity. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
linear logic, implicit computational complexity, Geometry of interaction |
| 1 | Ugo Dal Lago, Martin Hofmann |
Bounded Linear Logic, Revisited. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Luca Roversi, Luca Vercelli |
Taming Modal Impredicativity: Superlazy Reduction. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
Linear logic, proof theory, implicit computational complexity |
| 1 | Ugo Dal Lago, Simone Martini |
On Constructor Rewrite Systems and the Lambda-Calculus. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Simone Martini |
Derivational Complexity Is an Invariant Cost Model. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Simone Martini |
The weak lambda calculus as a reasonable machine. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca |
Light Logics and the Call-by-Value Lambda Calculus. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca |
Light Logics and the Call-by-Value Lambda Calculus |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Luca Roversi, Luca Vercelli |
Taming Modal Impredicativity: Superlazy Reduction |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
A Semantic Proof of Polytime Soundness of Light Affine Logic. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Olivier Laurent |
Quantitative Game Semantics for Linear Logic. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Angelo Montanari, Gabriele Puppis |
Compact and tractable automaton-based representations of time granularities. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Baillot, Paolo Coppola, Ugo Dal Lago |
Light Logics and Optimal Reduction: Completeness and Complexity |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi |
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Angelo Montanari, Gabriele Puppis |
On the Equivalence of Automaton-Based Representations of Time Granularities. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Baillot, Paolo Coppola, Ugo Dal Lago |
Light Logics and Optimal Reduction: Completeness and Complexity. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Patrick Baillot |
On light logics, uniform encodings and polynomial time. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen |
On Quasi-Interpretations, Blind Abstractions and Implicit Complexity |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago |
Context Semantics, Linear Logic and Computational Complexity. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Simone Martini |
An Invariant Cost Model for the Lambda Calculus. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago |
Context Semantics, Linear Logic and Computational Complexity |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Simone Martini |
An Invariant Cost Model for the Lambda Calculus |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago |
The Geometry of Linear Higher-Order Recursion |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
Quantitative Models and Implicit Complexity |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca |
Elementary Affine Logic and the Call-by-Value Lambda Calculus. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago |
The Geometry of Linear Higher-Order Recursion. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
Quantitative Models and Implicit Complexity. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Simone Martini |
Phase semantics and decidability of elementary affine logic. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Angelo Montanari, Gabriele Puppis |
Towards Compact and Tractable Automaten-Based Representations of Time Granularities. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago |
On the Expressive Power of Light Affine Logic. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Simone Martini, Luca Roversi |
Higher-Order Linear Ramified Recurrence. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Marco Pistore, Paolo Traverso |
Planning with a Language for Extended Goals. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Angelo Montanari |
Calendars, Time Granularities, and Automata. |
SSTD |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")