×

zbMATH — the first resource for mathematics

Dal Lago, Ugo

Compute Distance To:
Author ID: dal-lago.ugo Recent zbMATH articles by "Dal Lago, Ugo"
Published as: Dal Lago, Ugo; Lago, Ugo Dal
External Links: MGP
Documents Indexed: 85 Publications since 2001, including 4 Books

Publications by Year

Citations contained in zbMATH

61 Publications have been cited 221 times in 102 Documents Cited by Year
Probabilistic operational semantics for the lambda calculus. Zbl 1279.68183
Dal Lago, Ugo; Zorzi, Margherita
16
2012
(Leftmost-outermost) beta reduction is invariant, indeed. Zbl 1394.68137
Accattoli, Beniamino; Dal Lago, Ugo
11
2016
Linear dependent types and relative completeness. Zbl 1261.03073
Dal Lago, Ugo; Gaboardi, Marco
9
2012
Quantum implicit computational complexity. Zbl 1186.68209
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
8
2010
Context semantics, linear logic, and computational complexity. Zbl 1351.03061
Dal Lago, Ugo
7
2009
On a measurement-free quantum lambda calculus with classical control. Zbl 1166.68016
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
7
2009
On probabilistic applicative bisimulation and call-by-value \(\lambda \)-calculi. Zbl 1405.68076
Crubillé, Raphaëlle; Dal Lago, Ugo
6
2014
On constructor rewrite systems and the lambda-calculus. Zbl 1248.68275
Dal Lago, Ugo; Martini, Simone
6
2009
Quantitative models and implicit complexity. Zbl 1172.68477
Dal Lago, Ugo; Hofmann, Martin
6
2005
Analysing the complexity of functional programs: higher-order meets first-order. Zbl 1360.68313
Avanzini, Martin; Dal Lago, Ugo; Moser, Georg
5
2015
Beta reduction is invariant, indeed. Zbl 1394.03020
Accattoli, Beniamino; Dal Lago, Ugo
5
2014
The geometry of types. Zbl 1301.68184
Dal Lago, Ugo; Petit, Barbara
5
2013
Confluence results for a quantum lambda calculus with measurements. Zbl 1347.68133
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
5
2011
Derivational complexity is an invariant cost model. Zbl 1305.68107
Dal Lago, Ugo; Martini, Simone
5
2010
The geometry of linear higher-order recursion. Zbl 1351.03060
Dal Lago, Ugo
5
2009
The weak lambda calculus as a reasonable machine. Zbl 1145.68011
Dal Lago, Ugo; Martini, Simone
5
2008
An invariant cost model for the lambda calculus. Zbl 1145.68375
Dal Lago, Ugo; Martini, Simone
5
2006
On light logics, uniform encodings and polynomial time. Zbl 1103.03060
Dal Lago, Ugo; Baillot, Patrick
5
2006
The geometry of parallelism: classical, probabilistic, and quantum effects. Zbl 1380.68120
Dal Lago, Ugo; Faggian, Claudia; Valiron, Benoît; Yoshimizu, Akira
4
2017
On coinductive equivalences for higher-order probabilistic functional programs. Zbl 1284.68424
Dal Lago, Ugo; Sangiorgi, Davide; Alberti, Michele
4
2014
A short introduction to implicit computational complexity. Zbl 1250.03066
Dal Lago, Ugo
4
2012
On constructor rewrite systems and the lambda calculus. Zbl 1256.68091
Dal Lago, Ugo; Martini, Simone
4
2012
Realizability models and implicit complexity. Zbl 1222.03065
Dal Lago, Ugo; Hofmann, Martin
4
2011
Light logics and optimal reduction: completeness and complexity. Zbl 1233.03059
Baillot, Patrick; Coppola, Paolo; Dal Lago, Ugo
4
2011
Elementary affine logic and the call-by-value lambda calculus. Zbl 1114.03050
Coppola, Paolo; Dal Lago, Ugo; Ronchi della Rocca, Simona
4
2005
Calendars, time granularities, and automata. Zbl 0997.68567
Dal Lago, Ugo; Montanari, Angelo
4
2001
On probabilistic term rewriting. Zbl 06900730
Avanzini, Martin; Dal Lago, Ugo; Yamada, Akihisa
3
2018
Probabilistic termination by monadic affine sized typing. Zbl 06721329
Dal Lago, Ugo; Grellois, Charles
3
2017
Parallelism and synchronization in an infinitary context. Zbl 1401.68030
Dal Lago, Ugo; Faggian, Claudia; Valiron, Benoît; Yoshimizu, Akira
3
2015
Linear dependent types in a call-by-value scenario. Zbl 1283.68117
Dal Lago, Ugo; Petit, Barbara
3
2014
Higher-order interpretations and program complexity. Zbl 1252.68060
Baillot, Patrick; Dal Lago, Ugo
3
2012
Bounded linear logic, revisited. Zbl 1211.03089
Dal Lago, Ugo; Hofmann, Martin
3
2009
Light logics and the call-by-value lambda calculus. Zbl 1161.68011
Coppola, Paolo; Dal Lago, Ugo; Ronchi Della Rocca, Simona
3
2008
Quantitative game semantics for linear logic. Zbl 1156.03332
Dal Lago, Ugo; Laurent, Olivier
3
2008
Phase semantics and decidability of elementary affine logic. Zbl 1047.03048
Dal Lago, Ugo; Martini, Simone
3
2004
Towards compact and tractable automaton-based representations of time granularities. Zbl 1257.68063
Dal Lago, Ugo; Montanari, Angelo; Puppis, Gabriele
3
2003
Metric reasoning about \(\lambda\)-terms: the general case. Zbl 06721327
Crubillé, Raphaëlle; Dal Lago, Ugo
2
2017
A lambda-calculus foundation for universal probabilistic programming. Zbl 1360.68314
Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin
2
2016
Light logics and higher-order processes. Zbl 1362.68209
Dal Lago, Ugo; Martini, Simone; Sangiorgi, Davide
2
2016
Higher-order interpretations and program complexity. Zbl 1339.68037
Baillot, Patrick; Dal Lago, Ugo
2
2016
Metric reasoning about \(\lambda\)-terms: the affine case. Zbl 1394.03026
Crubillé, Raphaëlle; Dal Lago, Ugo
2
2015
Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs. Zbl 06528783
Baillot, Patrick; Barthe, Gilles; Dal Lago, Ugo
2
2015
On equivalences, metrics, and polynomial time. Zbl 1436.94044
Cappai, Alberto; Dal Lago, Ugo
2
2015
A higher-order characterization of probabilistic polynomial time. Zbl 1320.68084
Dal Lago, Ugo; Toldin, Paolo Parisen
2
2015
The geometry of synchronization. Zbl 1395.03033
Dal Lago, Ugo; Faggian, Claudia; Hasuo, Ichiro; Yoshimizu, Akira
2
2014
Bounded linear logic, revisited. Zbl 1211.03090
Dal Lago, Ugo; Hofmann, Martin
2
2010
A semantic proof of polytime soundness of light affine logic. Zbl 1205.68169
Dal Lago, Ugo; Hofmann, Martin
2
2010
Functional programming in sublinear space. Zbl 1260.68072
Dal Lago, Ugo; Schöpp, Ulrich
2
2010
Taming modal impredicativity: Superlazy reduction. Zbl 1211.03091
Dal Lago, Ugo; Roversi, Luca; Vercelli, Luca
2
2009
On higher-order probabilistic subrecursion. Zbl 06721001
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe
1
2017
Computation by interaction for space-bounded functional programming. Zbl 1339.68038
Dal Lago, Ugo; Schöpp, Ulrich
1
2016
On sharing, memoization, and polynomial time. Zbl 1355.68102
Avanzini, Martin; Dal Lago, Ugo
1
2015
Applicative bisimulation and quantum \(\lambda\)-calculi. Zbl 1434.68081
Dal Lago, Ugo; Rioli, Alessandro
1
2015
On applicative similarity, sequentiality, and full abstraction. Zbl 1444.68116
Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria
1
2015
Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03137
Dal Lago, Ugo; Zuppiroli, Sara
1
2014
Measurements in proof nets as higher-order quantum circuits. Zbl 1405.68095
Yoshimizu, Akira; Hasuo, Ichiro; Faggian, Claudia; Dal Lago, Ugo
1
2014
On the invariance of the unitary cost model for head reduction. Zbl 1437.68039
Accattoli, Beniamino; Dal Lago, Ugo
1
2012
A higher-order characterization of probabilistic polynomial time. Zbl 1367.68103
Dal Lago, Ugo; Parisen Toldin, Paolo
1
2012
On quasi-interpretations, blind abstractions and implicit complexity. Zbl 1288.68078
Baillot, Patrick; Dal Lago, Ugo; Moyen, Jean-Yves
1
2012
Compact and tractable automaton-based representations of time granularities. Zbl 1111.68053
Dal Lago, Ugo; Montanari, Angelo; Puppis, Gabriele
1
2007
On the expressive power of light affine logic. Zbl 1257.03089
Dal Lago, Ugo
1
2003
On probabilistic term rewriting. Zbl 06900730
Avanzini, Martin; Dal Lago, Ugo; Yamada, Akihisa
3
2018
The geometry of parallelism: classical, probabilistic, and quantum effects. Zbl 1380.68120
Dal Lago, Ugo; Faggian, Claudia; Valiron, Benoît; Yoshimizu, Akira
4
2017
Probabilistic termination by monadic affine sized typing. Zbl 06721329
Dal Lago, Ugo; Grellois, Charles
3
2017
Metric reasoning about \(\lambda\)-terms: the general case. Zbl 06721327
Crubillé, Raphaëlle; Dal Lago, Ugo
2
2017
On higher-order probabilistic subrecursion. Zbl 06721001
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe
1
2017
(Leftmost-outermost) beta reduction is invariant, indeed. Zbl 1394.68137
Accattoli, Beniamino; Dal Lago, Ugo
11
2016
A lambda-calculus foundation for universal probabilistic programming. Zbl 1360.68314
Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin
2
2016
Light logics and higher-order processes. Zbl 1362.68209
Dal Lago, Ugo; Martini, Simone; Sangiorgi, Davide
2
2016
Higher-order interpretations and program complexity. Zbl 1339.68037
Baillot, Patrick; Dal Lago, Ugo
2
2016
Computation by interaction for space-bounded functional programming. Zbl 1339.68038
Dal Lago, Ugo; Schöpp, Ulrich
1
2016
Analysing the complexity of functional programs: higher-order meets first-order. Zbl 1360.68313
Avanzini, Martin; Dal Lago, Ugo; Moser, Georg
5
2015
Parallelism and synchronization in an infinitary context. Zbl 1401.68030
Dal Lago, Ugo; Faggian, Claudia; Valiron, Benoît; Yoshimizu, Akira
3
2015
Metric reasoning about \(\lambda\)-terms: the affine case. Zbl 1394.03026
Crubillé, Raphaëlle; Dal Lago, Ugo
2
2015
Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs. Zbl 06528783
Baillot, Patrick; Barthe, Gilles; Dal Lago, Ugo
2
2015
On equivalences, metrics, and polynomial time. Zbl 1436.94044
Cappai, Alberto; Dal Lago, Ugo
2
2015
A higher-order characterization of probabilistic polynomial time. Zbl 1320.68084
Dal Lago, Ugo; Toldin, Paolo Parisen
2
2015
On sharing, memoization, and polynomial time. Zbl 1355.68102
Avanzini, Martin; Dal Lago, Ugo
1
2015
Applicative bisimulation and quantum \(\lambda\)-calculi. Zbl 1434.68081
Dal Lago, Ugo; Rioli, Alessandro
1
2015
On applicative similarity, sequentiality, and full abstraction. Zbl 1444.68116
Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria
1
2015
On probabilistic applicative bisimulation and call-by-value \(\lambda \)-calculi. Zbl 1405.68076
Crubillé, Raphaëlle; Dal Lago, Ugo
6
2014
Beta reduction is invariant, indeed. Zbl 1394.03020
Accattoli, Beniamino; Dal Lago, Ugo
5
2014
On coinductive equivalences for higher-order probabilistic functional programs. Zbl 1284.68424
Dal Lago, Ugo; Sangiorgi, Davide; Alberti, Michele
4
2014
Linear dependent types in a call-by-value scenario. Zbl 1283.68117
Dal Lago, Ugo; Petit, Barbara
3
2014
The geometry of synchronization. Zbl 1395.03033
Dal Lago, Ugo; Faggian, Claudia; Hasuo, Ichiro; Yoshimizu, Akira
2
2014
Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03137
Dal Lago, Ugo; Zuppiroli, Sara
1
2014
Measurements in proof nets as higher-order quantum circuits. Zbl 1405.68095
Yoshimizu, Akira; Hasuo, Ichiro; Faggian, Claudia; Dal Lago, Ugo
1
2014
The geometry of types. Zbl 1301.68184
Dal Lago, Ugo; Petit, Barbara
5
2013
Probabilistic operational semantics for the lambda calculus. Zbl 1279.68183
Dal Lago, Ugo; Zorzi, Margherita
16
2012
Linear dependent types and relative completeness. Zbl 1261.03073
Dal Lago, Ugo; Gaboardi, Marco
9
2012
A short introduction to implicit computational complexity. Zbl 1250.03066
Dal Lago, Ugo
4
2012
On constructor rewrite systems and the lambda calculus. Zbl 1256.68091
Dal Lago, Ugo; Martini, Simone
4
2012
Higher-order interpretations and program complexity. Zbl 1252.68060
Baillot, Patrick; Dal Lago, Ugo
3
2012
On the invariance of the unitary cost model for head reduction. Zbl 1437.68039
Accattoli, Beniamino; Dal Lago, Ugo
1
2012
A higher-order characterization of probabilistic polynomial time. Zbl 1367.68103
Dal Lago, Ugo; Parisen Toldin, Paolo
1
2012
On quasi-interpretations, blind abstractions and implicit complexity. Zbl 1288.68078
Baillot, Patrick; Dal Lago, Ugo; Moyen, Jean-Yves
1
2012
Confluence results for a quantum lambda calculus with measurements. Zbl 1347.68133
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
5
2011
Realizability models and implicit complexity. Zbl 1222.03065
Dal Lago, Ugo; Hofmann, Martin
4
2011
Light logics and optimal reduction: completeness and complexity. Zbl 1233.03059
Baillot, Patrick; Coppola, Paolo; Dal Lago, Ugo
4
2011
Quantum implicit computational complexity. Zbl 1186.68209
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
8
2010
Derivational complexity is an invariant cost model. Zbl 1305.68107
Dal Lago, Ugo; Martini, Simone
5
2010
Bounded linear logic, revisited. Zbl 1211.03090
Dal Lago, Ugo; Hofmann, Martin
2
2010
A semantic proof of polytime soundness of light affine logic. Zbl 1205.68169
Dal Lago, Ugo; Hofmann, Martin
2
2010
Functional programming in sublinear space. Zbl 1260.68072
Dal Lago, Ugo; Schöpp, Ulrich
2
2010
Context semantics, linear logic, and computational complexity. Zbl 1351.03061
Dal Lago, Ugo
7
2009
On a measurement-free quantum lambda calculus with classical control. Zbl 1166.68016
Dal Lago, Ugo; Masini, Andrea; Zorzi, Margherita
7
2009
On constructor rewrite systems and the lambda-calculus. Zbl 1248.68275
Dal Lago, Ugo; Martini, Simone
6
2009
The geometry of linear higher-order recursion. Zbl 1351.03060
Dal Lago, Ugo
5
2009
Bounded linear logic, revisited. Zbl 1211.03089
Dal Lago, Ugo; Hofmann, Martin
3
2009
Taming modal impredicativity: Superlazy reduction. Zbl 1211.03091
Dal Lago, Ugo; Roversi, Luca; Vercelli, Luca
2
2009
The weak lambda calculus as a reasonable machine. Zbl 1145.68011
Dal Lago, Ugo; Martini, Simone
5
2008
Light logics and the call-by-value lambda calculus. Zbl 1161.68011
Coppola, Paolo; Dal Lago, Ugo; Ronchi Della Rocca, Simona
3
2008
Quantitative game semantics for linear logic. Zbl 1156.03332
Dal Lago, Ugo; Laurent, Olivier
3
2008
Compact and tractable automaton-based representations of time granularities. Zbl 1111.68053
Dal Lago, Ugo; Montanari, Angelo; Puppis, Gabriele
1
2007
An invariant cost model for the lambda calculus. Zbl 1145.68375
Dal Lago, Ugo; Martini, Simone
5
2006
On light logics, uniform encodings and polynomial time. Zbl 1103.03060
Dal Lago, Ugo; Baillot, Patrick
5
2006
Quantitative models and implicit complexity. Zbl 1172.68477
Dal Lago, Ugo; Hofmann, Martin
6
2005
Elementary affine logic and the call-by-value lambda calculus. Zbl 1114.03050
Coppola, Paolo; Dal Lago, Ugo; Ronchi della Rocca, Simona
4
2005
Phase semantics and decidability of elementary affine logic. Zbl 1047.03048
Dal Lago, Ugo; Martini, Simone
3
2004
Towards compact and tractable automaton-based representations of time granularities. Zbl 1257.68063
Dal Lago, Ugo; Montanari, Angelo; Puppis, Gabriele
3
2003
On the expressive power of light affine logic. Zbl 1257.03089
Dal Lago, Ugo
1
2003
Calendars, time granularities, and automata. Zbl 0997.68567
Dal Lago, Ugo; Montanari, Angelo
4
2001
all top 5

Cited by 146 Authors

26 Dal Lago, Ugo
8 Zorzi, Margherita
7 Baillot, Patrick
6 Accattoli, Beniamino
3 Avanzini, Martin
3 Hofmann, Martin
3 Moser, Georg
3 Seiller, Thomas
2 Aubert, Clément
2 Bagnol, Marc
2 Bonelli, Eduardo
2 Brunel, Aloïs
2 Crubillé, Raphaëlle
2 Demri, Stéphane P.
2 Díaz-Caro, Alejandro
2 Gaboardi, Marco
2 Grellois, Charles
2 Hainry, Emmanuel
2 Kesner, Delia
2 Martini, Simone
2 Masini, Andrea
2 Montanari, Angelo
2 Paolini, Luca
2 Péchoux, Romain
2 Puppis, Gabriele
2 Ronchi Della Rocca, Simona
2 Sangiorgi, Davide
2 Solieri, Marco
2 Staton, Sam
2 Tortora de Falco, Lorenzo
1 Alves, Sandra
1 Amadio, Roberto M.
1 Arrighi, Pablo
1 Aschieri, Federico
1 Barenbaum, Pablo
1 Barthe, Gilles
1 Bendkowski, Maciej
1 Berardi, Stefano
1 Bonfante, Guillaume
1 Boudes, Pierre
1 Bresolin, Davide
1 Breuvart, Flavien
1 Brock-Nannestad, Taus
1 Christiansen, Henning
1 Chrząszcz, Jacek
1 Clairambault, Pierre
1 Cobb, Andrew
1 Cockett, Robin
1 Coppola, Paolo
1 Culpepper, Ryan
1 De Benedetti, Erika
1 de Carvalho, Daniel
1 de Visme, Marc
1 de’Liguoro, Ugo
1 Deloup, Florian L.
1 Di Giamberardino, Paolo
1 Di Pierro, Alessandra
1 Eguchi, Naohi
1 Felty, Amy P.
1 Férée, Hugo
1 Florido, Mário
1 Forster, Yannick
1 Fujii, Soichiro
1 Gadducci, Fabio
1 Gascon, Régis
1 Gavazzo, Francesco
1 Gebler, Daniel E.
1 Genet, Thomas
1 Ghica, Dan R.
1 Ghyselen, Alexis
1 Graham-Lengrand, Stéphane
1 Guenot, Nicolas
1 Guerrieri, Giulio
1 Guerrini, Stefano
1 Haghverdi, Esfandiar
1 Hasuo, Ichiro
1 Henrot, Antoine
1 Herrou, Agathe
1 Hoffmann, Jan-Philipp
1 Honsell, Furio
1 Hoshino, Naohiko
1 Hoyrup, Mathieu
1 Icard, Thomas F. III
1 Kamide, Norihiro
1 Kaminski, Benjamin Lucien
1 Katoen, Joost-Pieter
1 Katsumata, Shin-ya
1 Kirkeby, Maja H.
1 Kobayashi, Naoki
1 Kop, Cynthia
1 Lai, Anna Chiara
1 Laurent, Olivier
1 Lescanne, Pierre
1 Leventis, Thomas
1 Lichtman, Benjamin
1 Liquori, Luigi
1 Lombardi, Carlos
1 Mackie, Ian
1 Madet, Antoine
1 Mahmoud, Mohamed Yousri
...and 46 more Authors

Citations by Year