 | 2009 |
|---|
| 37 |       | Ugo Dal Lago,
Simone Martini:
On Constructor Rewrite Systems and the Lambda-Calculus.
ICALP (2) 2009: 163-174 |
| 36 | | Ugo Dal Lago,
Luca Roversi,
Luca Vercelli:
Taming Modal Impredicativity: Superlazy Reduction.
LFCS 2009: 137-151 |
| 35 | | Ugo Dal Lago,
Martin Hofmann:
Bounded Linear Logic, Revisited.
TLCA 2009: 80-94 |
| 34 | | Ugo Dal Lago:
The geometry of linear higher-order recursion.
ACM Trans. Comput. Log. 10(2): (2009) |
| 33 | | Ugo Dal Lago:
Context semantics, linear logic, and computational complexity.
ACM Trans. Comput. Log. 10(4): (2009) |
| 32 | | Ugo Dal Lago,
Martin Hofmann:
Bounded Linear Logic, Revisited
CoRR abs/0904.2675: (2009) |
| 31 | | Ugo Dal Lago,
Simone Martini:
On Constructor Rewrite Systems and the Lambda-Calculus
CoRR abs/0904.4120: (2009) |
| 30 | | Ugo Dal Lago,
Andrea Masini,
Margherita Zorzi:
Confluence Results for a Quantum Lambda Calculus with Measurements
CoRR abs/0905.4567: (2009) |
| 29 | | Ugo Dal Lago,
Andrea Masini,
Margherita Zorzi:
On a measurement-free quantum lambda calculus with classical control.
Mathematical Structures in Computer Science 19(2): 297-335 (2009) |
| 2008 |
|---|
| 28 | | Ugo Dal Lago,
Olivier Laurent:
Quantitative Game Semantics for Linear Logic.
CSL 2008: 230-245 |
| 27 | | Ugo Dal Lago,
Martin Hofmann:
A Semantic Proof of Polytime Soundness of Light Affine Logic.
CSR 2008: 134-145 |
| 26 | | Paolo Coppola,
Ugo Dal Lago,
Simona Ronchi Della Rocca:
Light Logics and the Call-by-Value Lambda Calculus
CoRR abs/0809.0195: (2008) |
| 25 | | Ugo Dal Lago,
Luca Roversi,
Luca Vercelli:
Taming Modal Impredicativity: Superlazy Reduction
CoRR abs/0810.2891: (2008) |
| 24 | | Paolo Coppola,
Ugo Dal Lago,
Simona Ronchi Della Rocca:
Light Logics and the Call-by-Value Lambda Calculus.
Logical Methods in Computer Science 4(4): (2008) |
| 23 | | Ugo Dal Lago,
Simone Martini:
The weak lambda calculus as a reasonable machine.
Theor. Comput. Sci. 398(1-3): 32-50 (2008) |
| 2007 |
|---|
| 22 | | Patrick Baillot,
Paolo Coppola,
Ugo Dal Lago:
Light Logics and Optimal Reduction: Completeness and Complexity.
LICS 2007: 421-430 |
| 21 | | Ugo Dal Lago,
Angelo Montanari,
Gabriele Puppis:
On the Equivalence of Automaton-Based Representations of Time Granularities.
TIME 2007: 82-93 |
| 20 | | Patrick Baillot,
Paolo Coppola,
Ugo Dal Lago:
Light Logics and Optimal Reduction: Completeness and Complexity
CoRR abs/0704.2448: (2007) |
| 19 | | Ugo Dal Lago,
Andrea Masini,
Margherita Zorzi:
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power
CoRR abs/cs/0703152: (2007) |
| 18 | | Ugo Dal Lago,
Angelo Montanari,
Gabriele Puppis:
Compact and tractable automaton-based representations of time granularities.
Theor. Comput. Sci. 373(1-2): 115-141 (2007) |
| 2006 |
|---|
| 17 | | Ugo Dal Lago,
Simone Martini:
An Invariant Cost Model for the Lambda Calculus.
CiE 2006: 105-114 |
| 16 | | Ugo Dal Lago:
Context Semantics, Linear Logic and Computational Complexity.
LICS 2006: 169-178 |
| 15 | | Patrick Baillot,
Ugo Dal Lago,
Jean-Yves Moyen:
On Quasi-Interpretations, Blind Abstractions and Implicit Complexity
CoRR abs/cs/0608030: (2006) |
| 14 | | Ugo Dal Lago,
Patrick Baillot:
On light logics, uniform encodings and polynomial time.
Mathematical Structures in Computer Science 16(4): 713-733 (2006) |
| 2005 |
|---|
| 13 | | Ugo Dal Lago,
Martin Hofmann:
Quantitative Models and Implicit Complexity.
FSTTCS 2005: 189-200 |
| 12 | | Ugo Dal Lago:
The Geometry of Linear Higher-Order Recursion.
LICS 2005: 366-375 |
| 11 | | Paolo Coppola,
Ugo Dal Lago,
Simona Ronchi Della Rocca:
Elementary Affine Logic and the Call-by-Value Lambda Calculus.
TLCA 2005: 131-145 |
| 10 | | Ugo Dal Lago,
Martin Hofmann:
Quantitative Models and Implicit Complexity
CoRR abs/cs/0506079: (2005) |
| 9 | | Ugo Dal Lago:
The Geometry of Linear Higher-Order Recursion
CoRR abs/cs/0506080: (2005) |
| 8 | | Ugo Dal Lago:
Context Semantics, Linear Logic and Computational Complexity
CoRR abs/cs/0510092: (2005) |
| 7 | | Ugo Dal Lago,
Simone Martini:
An Invariant Cost Model for the Lambda Calculus
CoRR abs/cs/0511045: (2005) |
| 2004 |
|---|
| 6 | | Ugo Dal Lago,
Simone Martini:
Phase semantics and decidability of elementary affine logic.
Theor. Comput. Sci. 318(3): 409-433 (2004) |
| 2003 |
|---|
| 5 | | Ugo Dal Lago:
On the Expressive Power of Light Affine Logic.
ICTCS 2003: 216-227 |
| 4 | | Ugo Dal Lago,
Angelo Montanari,
Gabriele Puppis:
Towards Compact and Tractable Automaten-Based Representations of Time Granularities.
ICTCS 2003: 72-85 |
| 3 | | Ugo Dal Lago,
Simone Martini,
Luca Roversi:
Higher-Order Linear Ramified Recurrence.
TYPES 2003: 178-193 |
| 2002 |
|---|
| 2 |  | Ugo Dal Lago,
Marco Pistore,
Paolo Traverso:
Planning with a Language for Extended Goals.
AAAI/IAAI 2002: 447-454 |
| 2001 |
|---|
| 1 | | Ugo Dal Lago,
Angelo Montanari:
Calendars, Time Granularities, and Automata.
SSTD 2001: 279-298 |
