Follow
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
2012002
Linear Dependent Types and Relative Completeness
M Gaboardi, U Dal Lago
Logical Methods in Computer Science 8, 2012
145*2012
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
1212016
Probabilistic Operational Semantics for the Lambda Calculus
U Dal Lago, M Zorzi
RAIRO-Theoretical Informatics and Applications, 2012, 2011
1042011
Beta reduction is invariant, indeed
B Accattoli, U Dal Lago
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
90*2014
The weak lambda calculus as a reasonable machine
U Dal Lago, S Martini
Theoretical Computer Science 398 (1-3), 32-50, 2008
81*2008
Analysing the complexity of functional programs: higher-order meets first-order
M Avanzini, U Dal Lago, G Moser
ICFP 2015, 152-164, 2015
742015
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs
U Dal Lago, D Sangiorgi, M Alberti
POPL 2014, 297-308, 2014
732014
On constructor rewrite systems and the lambda-calculus
U Dal Lago, S Martini
ICALP 2009, 163-174, 2009
722009
Realizability models and implicit complexity
U Dal Lago, M Hofmann
Theoretical Computer Science 412 (20), 2029-2047, 2011
70*2011
On the invariance of the unitary cost model for head reduction
B Accattoli, U Dal Lago
RTA 2012, 2012
682012
On probabilistic applicative bisimulation and call-by-value λ-calculi
R Crubillé, U Dal Lago
ESOP 2014, 209-228, 2014
672014
Effectful applicative bisimilarity: Monads, relators, and Howe's method
U Dal Lago, F Gavazzo, PB Levy
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
652017
Context semantics, linear logic, and computational complexity
U Dal Lago
ACM Transactions on Computational Logic (TOCL) 10 (4), 25, 2009
65*2009
Bounded linear logic, revisited
U Dal Lago, M Hofmann
TLCA 2009, 80-94, 2009
582009
The Geometry of Linear Higher-Order Recursion
U Dal Lago
TOCL 10 (2), 8, 2009
57*2009
The Geometry of Types
U Dal Lago, B Petit
POPL 2013, 167-178, 2013
552013
The geometry of parallelism: classical, probabilistic, and quantum effects
U Dal Lago, C Faggian, B Valiron, A Yoshimizu
ACM SIGPLAN Notices 52 (1), 833-845, 2017
522017
Extending PDDL to nondeterminism, limited sensing and iterative conditional plans
P Bertoli, A Cimatti, U Dal Lago, M Pistore
ICAPS workshop on pddl, informal proceedings, 15-24, 2003
502003
Light logics and the call-by-value lambda calculus
P Coppola, U Dal Lago, SR Della Rocca
Logical Methods in Computer Science, 2008
49*2008
The system can't perform the operation now. Try again later.
Articles 1–20