@article{TCS2004,
author = {Dal Lago, Ugo and Martini, Simone},
title = {Phase Semantics and Decidability of Elementary Affine Logic},
journal = {Theoretical Computer Science},
year = {2004},
volume = {318},
number = {3},
pages = {409--433}
}
@article{MSCS2006,
author = {Dal Lago, Ugo and Baillot, Patrick},
title = {Light Affine Logic, Uniform Encodings and Polynomial Time},
journal = {Mathematical Structures in Computer Science},
year = {2006},
volume = {16},
number = {4},
pages = {713--733}
}
@article{TCS2007,
author = {Dal Lago, Ugo and Montanari, Angelo and Puppis, Gabriele},
title = {Compact and tractable automaton-based representations of time granularities},
journal = {Theoretical Computer Science},
year = {2007},
volume = {373},
number = {1-2},
pages = {115--141}
}
@article{TOCL2009a,
author = {Dal Lago, Ugo},
title = {The Geometry of Linear Higher-Order Recursion},
journal = {ACM Transactions on Computational Logic},
year = {2009},
volume = {10},
number = {2}
}
@article{TCS2008,
author = {Dal Lago, Ugo and Martini, Simone},
title = {The weak lambda-calculus as a reasonable machine},
journal = {Theoretical Computer Science},
year = {2008},
volume = {398},
number = {1-3},
pages = {32--50}
}
@article{TOCL2009b,
author = {Dal Lago, Ugo},
title = {Context Semantics, Linear Logic and Computational Complexity},
journal = {ACM Transactions on Computational Logic},
volume = {10},
number = {4},
year = {2009}
}
@article{MSCS2009,
author = {Dal Lago, Ugo and Masini, Andrea and Zorzi, Margherita},
title = {On a Measurement-Free Quantum Lambda Calculus with Classical Control},
journal = {Mathematical Structures in Computer Science},
year = {2009},
volume = {19},
number = {2},
pages = {297-335}
}
@article{LMCS2008,
author = {Coppola, Paolo and Dal Lago, Ugo and Ronchi Della Rocca, Simonetta},
title = {Light Logics and the Call-by-Value Lambda Calculus},
journal = {Logical Methods in Computer Science},
year = {2008},
volume = {4},
number = {4}
}
@article{TOCS2009,
author = {Dal Lago, Ugo and Hofmann, Martin},
title = {A Semantic Proof of Polytime Soundness for Light Affine Logic},
journal = {Theory of Computing Systems},
year = {2009},
note = {to appear}
}
@article{TCS2009,
author = {Dal Lago, Ugo and Masini, Andrea and Zorzi, Margherita},
title = {Quantum Implicit Computational Complexity},
journal = {Theoretical Computer Science},
year = {2009},
note = {to appear}
}
This file was generated by bibtex2html 1.94.