Ugo Dal Lago
Title
Cited by
Cited by
Year
Planning with a Language for Extended Goals.
U Dal Lago, M Pistore, P Traverso
AAAI/IAAI, 447-454, 2002
1822002
Linear Dependent Types and Relative Completeness
M Gaboardi, U Dal Lago
Logical Methods in Computer Science 8, 2012
98*2012
Probabilistic Operational Semantics for the Lambda Calculus
U Dal Lago, M Zorzi
RAIRO-Theoretical Informatics and Applications, 2012, 2011
792011
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed
UD Lago, B Accattoli
Logical Methods in Computer Science 12, 2016
69*2016
On constructor rewrite systems and the lambda-calculus
U Dal Lago, S Martini
ICALP 2009, 163-174, 2009
692009
The weak lambda calculus as a reasonable machine
U Dal Lago, S Martini
Theoretical Computer Science 398 (1-3), 32-50, 2008
69*2008
Context semantics, linear logic, and computational complexity
U Dal Lago
ACM Transactions on Computational Logic (TOCL) 10 (4), 25, 2009
66*2009
A lambda-calculus foundation for universal probabilistic programming
J Borgström, U Dal Lago, AD Gordon, M Szymczak
ICFP 2016 51 (9), 33-46, 2016
602016
Realizability models and implicit complexity
U Dal Lago, M Hofmann
Theoretical Computer Science 412 (20), 2029-2047, 2011
59*2011
Analysing the complexity of functional programs: higher-order meets first-order
M Avanzini, U Dal Lago, G Moser
ICFP 2015, 152-164, 2015
542015
On probabilistic applicative bisimulation and call-by-value λ-calculi
R Crubillé, U Dal Lago
ESOP 2014, 209-228, 2014
482014
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs
U Dal Lago, D Sangiorgi, M Alberti
POPL 2014, 297-308, 2014
482014
On the invariance of the unitary cost model for head reduction
B Accattoli, U Dal Lago
RTA 2012, 2012
482012
The Geometry of Linear Higher-Order Recursion
U Dal Lago
TOCL 10 (2), 8, 2009
48*2009
Light logics and the call-by-value lambda calculus
P Coppola, U Dal Lago, SR Della Rocca
Logical Methods in Computer Science, 2008
47*2008
The Geometry of Types
U Dal Lago, B Petit
POPL 2013, 167-178, 2013
452013
Calendars, time granularities, and automata
U Dal Lago, A Montanari
Advances in Spatial and Temporal Databases, 279-298, 2001
432001
Functional programming in sublinear space
U Dal Lago, U Schöpp
ESOP 2010, 205-225, 2010
412010
Derivational complexity is an invariant cost model
U Dal Lago, S Martini
FOPARA 2009, 100-113, 2009
402009
Extending PDDL to nondeterminism, limited sensing and iterative conditional plans
P Bertoli, A Cimatti, U Dal Lago, M Pistore
Proceedings of ICAPS’03 Workshop on PDDL, 2003
382003
The system can't perform the operation now. Try again later.
Articles 1–20