Ugo Dal Lago

253 papers A* 22A 11B 25C 9Misc 3Journal 145Unranked 31
YearRankTypeTitle / Venue / Authors
2026 J jnl
(Definitely not) Boring interaction abstract machines.
Theor. Comput. Sci.
Ugo Dal Lago, Gabriele Vanoni
2026 J jnl
Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction.
CoRR
Kostia Chardonnet, Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2026 J jnl
On Circuit Description Languages, Indexed Monads, and Resource Analysis.
Proc. ACM Program. Lang.
Ken Sakayori, Andrea Colledan, Ugo Dal Lago
2026 J jnl
On the Metric Nature of (Differential) Logical Relations.
CoRR
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2025 J jnl
A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations.
Log. Methods Comput. Sci.
Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
2025 J jnl
Circuit Width Estimation via Effect Typing and Linear Dependency.
ACM Trans. Program. Lang. Syst.
Andrea Colledan, Ugo Dal Lago, Niki Vazou
2025 C conf
Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages.
PPDP
Ugo Dal Lago
2025 J jnl
Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages.
Proc. ACM Program. Lang.
Andrea Colledan, Ugo Dal Lago
2025 J jnl
Linearization via Rewriting (Long Version).
CoRR
Ugo Dal Lago, Federico Olimpieri
2025 J jnl
On Circuit Description Languages, Indexed Monads, and Resource Analysis.
CoRR
Ken Sakayori, Andrea Colledan, Ugo Dal Lago
2025 J jnl
On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs.
Proc. ACM Program. Lang.
Taro Sekiyama, Ugo Dal Lago, Hiroshi Unno
2025 J jnl
On The Metric Nature of (Differential) Logical Relations.
CoRR
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2025 B conf
On the Metric Nature of (Differential) Logical Relations.
FSCD
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2024 — conf
Circuit Width Estimation via Effect Typing and Linear Dependency.
ESOP (2)
Andrea Colledan, Ugo Dal Lago
2024 B conf
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.
CSL
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
2024 J jnl
Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages.
CoRR
Andrea Colledan, Ugo Dal Lago
2024 — conf
On Basic Feasible Functionals and the Interpretation Method.
FoSSaCS (2)
Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
2024 J jnl
On Basic Feasible Functionals and the Interpretation Method.
CoRR
Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
2024 B conf
On Computational Indistinguishability and Logical Relations.
APLAS
Ugo Dal Lago, Zeinab Galal, Giulia Giusti
2024 J jnl
On Computational Indistinguishability and Logical Relations.
CoRR
Ugo Dal Lago, Zeinab Galal, Giulia Giusti
2024 J jnl
On Model-Checking Higher-Order Effectful Programs.
Proc. ACM Program. Lang.
Ugo Dal Lago, Alexis Ghyselen
2024 J jnl
On Randomized Computational Models and Complexity Classes: a Historical Overview.
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2024 J jnl
On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version).
CoRR
Ugo Dal Lago, Davide Davoli, Bruce M. Kapron
2024 A conf
On Separation Logic, Computational Independence, and Pseudorandomness.
CSF
Ugo Dal Lago, Davide Davoli, Bruce M. Kapron
2024 C conf
On the Almost-Sure Termination of Binary Sessions.
PPDP
Ugo Dal Lago, Luca Padovani
2024 J jnl
Preface.
Theor. Comput. Sci.
Ugo Dal Lago, Daniele Gorla
2024 A* ed.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024
LICS
Pawel Sobocinski, Ugo Dal Lago, Javier Esparza
2024 J jnl
Reasonable Space for the λ-Calculus, Logarithmically.
Log. Methods Comput. Sci.
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2024 B conf
Towards Quantum Multiparty Session Types.
SEFM
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
2024 J jnl
Towards Quantum Multiparty Session Types.
CoRR
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
2024 J jnl
Towards logical foundations for probabilistic computation.
Ann. Pure Appl. Log.
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2023 — conf
(Not So) Boring Abstract Machines.
ICTCS
Ugo Dal Lago, Gabriele Vanoni
2023 J jnl
A Log-Sensitive Encoding of Turing Machines in the λ-Calculus.
CoRR
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2023 J jnl
An Arithmetic Theory for the Poly-Time Random Functions.
CoRR
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
2023 J jnl
Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version).
CoRR
Andrea Colledan, Ugo Dal Lago
2023 J jnl
Contextual Behavioural Metrics (Extended Version).
CoRR
Ugo Dal Lago, Maurizio Murgia
2023 B conf
Contextual Behavioural Metrics.
CONCUR
Ugo Dal Lago, Maurizio Murgia
2023 J jnl
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.
CoRR
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
2023 J jnl
On Model-Checking Higher-Order Effectful Programs (Long Version).
CoRR
Ugo Dal Lago, Alexis Ghyselen
2023 J jnl
On counting propositional logic and Wagner's hierarchy.
Theor. Comput. Sci.
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2023 B conf
On the Lattice of Program Metrics.
FSCD
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2023 J jnl
On the Lattice of Program Metrics.
CoRR
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2023 B conf
Open Higher-Order Logic.
CSL
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
2023 J jnl
Preface to the special issue on metric and differential semantics.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone
2022 J jnl
A relational theory of effects and coeffects.
Proc. ACM Program. Lang.
Ugo Dal Lago, Francesco Gavazzo
2022 A* conf
Curry and Howard Meet Borel.
LICS
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2022 J jnl
Curry and Howard Meet Borel.
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2022 J jnl
Effectful program distancing.
Proc. ACM Program. Lang.
Ugo Dal Lago, Francesco Gavazzo
2022 J jnl
Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann.
Math. Struct. Comput. Sci.
Ugo Dal Lago
2022 J jnl
Implicit recursion-theoretic characterizations of counting classes.
Arch. Math. Log.
Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
2022 J jnl
Multi Types and Reasonable Space (Long Version).
CoRR
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2022 J jnl
Multi types and reasonable space.
Proc. ACM Program. Lang.
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2022 J jnl
On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version).
CoRR
Andrea Colledan, Ugo Dal Lago
2022 — conf
On Dynamic Lifting and Effect Typing in Circuit Description Languages.
TYPES
Andrea Colledan, Ugo Dal Lago
2022 J jnl
On Feller Continuity and Full Abstraction (Long Version).
CoRR
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2022 J jnl
On Feller continuity and full abstraction.
Proc. ACM Program. Lang.
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2022 B conf
On Quantitative Algebraic Higher-Order Theories.
FSCD
Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
2022 J jnl
On Quantitative Algebraic Higher-Order Theories.
CoRR
Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
2022 J jnl
On Reinforcement Learning, Effect Handlers, and the State Monad.
CoRR
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
2022 J jnl
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version).
CoRR
Ugo Dal Lago, Giulia Giusti
2022 B conf
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments.
CONCUR
Ugo Dal Lago, Giulia Giusti
2022 J jnl
Open Higher-Order Logic (Long Version).
CoRR
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
2022 — ed.
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022.
ICTCS
Ugo Dal Lago, Daniele Gorla
2022 A* conf
Reasonable Space for the λ-Calculus, Logarithmically.
LICS
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2022 J jnl
Reasonable Space for the λ-Calculus, Logarithmically.
CoRR
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2022 A* conf
Tidy: Symbolic Verification of Timed Cryptographic Protocols.
CCS
Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina
2021 B conf
A Recursion-Theoretic Characterization of the Probabilistic Class PP.
MFCS
Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
2021 J jnl
Differential logical relations, part II increments and derivatives.
Theor. Comput. Sci.
Ugo Dal Lago, Francesco Gavazzo
2021 J jnl
Intersection types and (positive) almost-sure termination.
Proc. ACM Program. Lang.
Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
2021 J jnl
Modal Reasoning = Metric Reasoning, via Lawvere.
CoRR
Ugo Dal Lago, Francesco Gavazzo
2021 — conf
On Counting Propositional Logic and Wagner's Hierarchy.
ICTCS
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2021 J jnl
On Counting Propositional Logic.
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2021 J jnl
On Higher-Order Probabilistic Subrecursion.
Log. Methods Comput. Sci.
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
2021 J jnl
On Measure Quantifiers in First-Order Arithmetic (Long Version).
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2021 C conf
On Measure Quantifiers in First-Order Arithmetic.
CiE
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2021 J jnl
On continuation-passing transformations and expected cost analysis.
Proc. ACM Program. Lang.
Martin Avanzini, Gilles Barthe, Ugo Dal Lago
2021 — ed.
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020.
Linearity&TLLA@IJCAR-FSCD
Ugo Dal Lago, Valeria de Paiva
2021 B conf
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs.
FSCD
Ugo Dal Lago, Francesco Gavazzo
2021 J jnl
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems.
CoRR
Ugo Dal Lago, Francesco Gavazzo
2021 J jnl
The (In)Efficiency of interaction.
Proc. ACM Program. Lang.
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2021 J jnl
The Space of Interaction (long version).
CoRR
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2021 A* conf
The Space of Interaction.
LICS
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2021 J jnl
The geometry of Bayesian programming.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Naohiko Hoshino
2020 J jnl
A Diagrammatic Calculus for Algebraic Effects.
CoRR
Ugo Dal Lago, Francesco Gavazzo
2020 B conf
Decomposing Probabilistic Lambda-Calculi.
FoSSaCS
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
2020 J jnl
Decomposing Probabilistic Lambda-calculi.
CoRR
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
2020 — conf
Differential Logical Relations Part II: Increments and Derivatives.
ICTCS
Ugo Dal Lago, Francesco Gavazzo
2020 J jnl
Effectful applicative similarity for call-by-name lambda calculi.
Theor. Comput. Sci.
Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka
2020 J jnl
Intersection Types and (Positive) Almost-Sure Termination.
CoRR
Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
2020 J jnl
On Higher-Order Cryptography (Long Version).
CoRR
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
2020 A* conf
On Higher-Order Cryptography.
ICALP
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
2020 — ch.
On Probabilistic λ-Calculi.
Foundations of Probabilistic Programming
Ugo Dal Lago
2020 J jnl
On probabilistic term rewriting.
Sci. Comput. Program.
Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
2020 J jnl
On randomised strategies in the
Theor. Comput. Sci.
Ugo Dal Lago, Gabriele Vanoni
2020 J jnl
On the Termination Problem for Probabilistic Higher-Order Recursive Programs.
Log. Methods Comput. Sci.
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
2020 A conf
On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem.
ESOP
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2020 J jnl
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem.
CoRR
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2020 B conf
Solvability in a Probabilistic Setting (Invited Talk).
FSCD
Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian
2020 J jnl
The (In)Efficiency of Interaction.
CoRR
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2020 J jnl
The Abstract Machinery of Interaction (Long Version).
CoRR
Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni
2020 C conf
The Machinery of Interaction.
PPDP
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2019 J jnl
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version).
CoRR
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
2019 A* conf
Differential Logical Relations, Part I: The Simply-Typed Case.
ICALP
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
2019 A conf
Effectful Normal Form Bisimulation.
ESOP
Ugo Dal Lago, Francesco Gavazzo
2019 J jnl
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.
J. Autom. Reason.
Patrick Baillot, Gilles Barthe, Ugo Dal Lago
2019 J jnl
Intersection types and runtime errors in the pi-calculus.
Proc. ACM Program. Lang.
Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu
2019 B conf
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice.
MFPS
Ugo Dal Lago, Francesco Gavazzo
2019 B conf
On the Taylor Expansion of Probabilistic lambda-terms.
FSCD
Ugo Dal Lago, Thomas Leventis
2019 J jnl
On the Taylor Expansion of Probabilistic λ-Terms (Long Version).
CoRR
Ugo Dal Lago, Thomas Leventis
2019 A* conf
On the Termination Problem for Probabilistic Higher-Order Recursive Programs.
LICS
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
2019 J jnl
Probabilistic Termination by Monadic Affine Sized Typing.
ACM Trans. Program. Lang. Syst.
Ugo Dal Lago, Charles Grellois
2019 A* conf
The Geometry of Bayesian Programming.
LICS
Ugo Dal Lago, Naohiko Hoshino
2019 J jnl
The Geometry of Bayesian Programming.
CoRR
Ugo Dal Lago, Naohiko Hoshino
2019 A* conf
Type-Based Complexity Analysis of Probabilistic Functional Programs.
LICS
Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen
2018 B ed.
Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
FoSSaCS
Christel Baier, Ugo Dal Lago
2018 C conf
On Intersection Types and Probabilistic Lambda Calculi.
PPDP
Flavien Breuvart, Ugo Dal Lago
2018 Misc conf
On Probabilistic Term Rewriting.
FLOPS
Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
2018 J jnl
On Probabilistic Term Rewriting.
CoRR
Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
2018 J jnl
On Randomised Strategies in the λ-Calculus (Long Version).
CoRR
Ugo Dal Lago, Gabriele Vanoni
2018 — conf
On Randomised Strategies in the λ-calculus.
ICTCS
Ugo Dal Lago, Gabriele Vanoni
2018 J jnl
On sharing, memoization, and polynomial time.
Inf. Comput.
Martin Avanzini, Ugo Dal Lago
2018 J jnl
On the Termination Problem for Probabilistic Higher-Order Recursive Programs.
CoRR
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
2017 — conf
Automated Sized-Type Inference and Complexity Analysis.
DICE-FOPARA@ETAPS
Martin Avanzini, Ugo Dal Lago
2017 J jnl
Automating Sized Type Inference for Complexity Analysis (Technical Report).
CoRR
Martin Avanzini, Ugo Dal Lago
2017 J jnl
Automating sized-type inference for complexity analysis.
Proc. ACM Program. Lang.
Martin Avanzini, Ugo Dal Lago
2017 J jnl
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version).
CoRR
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy
2017 — conf
Effectful Applicative Similarity for Call-by-Name Lambda Calculi.
ICTCS/CILC
Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka
2017 A* conf
Effectful applicative bisimilarity: Monads, relators, and Howe's method.
LICS
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy
2017 J jnl
Encoding Turing Machines into the Deterministic Lambda-Calculus.
CoRR
Ugo Dal Lago, Beniamino Accattoli
2017 A conf
Metric Reasoning About \lambda -Terms: The General Case.
ESOP
Raphaëlle Crubillé, Ugo Dal Lago
2017 J jnl
Metric Reasoning About λ-Terms: The General Case (Long Version).
CoRR
Raphaëlle Crubillé, Ugo Dal Lago
2017 J jnl
On Higher-Order Probabilistic Subrecursion (Long Version).
CoRR
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
2017 B conf
On Higher-Order Probabilistic Subrecursion.
FoSSaCS
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
2017 J jnl
Probabilistic Termination by Monadic Affine Sized Typing (Long Version).
CoRR
Ugo Dal Lago, Charles Grellois
2017 A conf
Probabilistic Termination by Monadic Affine Sized Typing.
ESOP
Ugo Dal Lago, Charles Grellois
2017 J jnl
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version).
CoRR
Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu
2017 A* conf
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens.
LICS
Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu
2017 A* conf
The geometry of parallelism: classical, probabilistic, and quantum effects.
POPL
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
2016 J jnl
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed.
Log. Methods Comput. Sci.
Beniamino Accattoli, Ugo Dal Lago
2016 A conf
A lambda-calculus foundation for universal probabilistic programming.
ICFP
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
2016 J jnl
Computation by interaction for space-bounded functional programming.
Inf. Comput.
Ugo Dal Lago, Ulrich Schöpp
2016 — ed.
Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers
FOPARA
Marko C. J. D. van Eekelen, Ugo Dal Lago
2016 J jnl
Higher-order interpretations and program complexity.
Inf. Comput.
Patrick Baillot, Ugo Dal Lago
2016 A* conf
Infinitary Lambda Calculi from a Linear Perspective.
LICS
Ugo Dal Lago
2016 J jnl
Infinitary λ-Calculi from a Linear Perspective (Long Version).
CoRR
Ugo Dal Lago
2016 J jnl
Light logics and higher-order processes.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
2016 J jnl
On session types and polynomial time.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Paolo Di Giamberardino
2016 J jnl
The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects.
CoRR
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
2015 J jnl
A Lambda-Calculus Foundation for Universal Probabilistic Programming.
CoRR
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
2015 J jnl
A higher-order characterization of probabilistic polynomial time.
Inf. Comput.
Ugo Dal Lago, Paolo Parisen Toldin
2015 J jnl
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version).
CoRR
Martin Avanzini, Ugo Dal Lago, Georg Moser
2015 A conf
Analysing the complexity of functional programs: higher-order meets first-order.
ICFP
Martin Avanzini, Ugo Dal Lago, Georg Moser
2015 J jnl
Applicative Bisimulation and Quantum λ-Calculi (Long Version).
CoRR
Ugo Dal Lago, Alessandro Rioli
2015 — conf
Applicative Bisimulation and Quantum λ-Calculi.
FSEN
Ugo Dal Lago, Alessandro Rioli
2015 J jnl
Developments in Implicit Complexity (DICE 2012).
Theor. Comput. Sci.
Ugo Dal Lago, Guillaume Bonfante
2015 B conf
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.
LPAR
Patrick Baillot, Gilles Barthe, Ugo Dal Lago
2015 A* conf
Metric Reasoning about λ-Terms: The Affine Case.
LICS
Raphaëlle Crubillé, Ugo Dal Lago
2015 J jnl
Metric Reasoning about λ-Terms: the Affine Case (Long Version).
CoRR
Raphaëlle Crubillé, Ugo Dal Lago
2015 — conf
On Applicative Similarity, Sequentiality, and Full Abstraction.
Correct System Design
Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli
2015 B conf
On Coinduction and Quantum Lambda Calculi.
CONCUR
Yuxin Deng, Yuan Feng, Ugo Dal Lago
2015 J jnl
On Equivalences, Metrics, and Polynomial Time (Long Version).
CoRR
Alberto Cappai, Ugo Dal Lago
2015 B conf
On Equivalences, Metrics, and Polynomial Time.
FCT
Alberto Cappai, Ugo Dal Lago
2015 J jnl
On Sharing, Memoization, and Polynomial Time (Long Version).
CoRR
Martin Avanzini, Ugo Dal Lago
2015 A conf
On Sharing, Memoization, and Polynomial Time.
STACS
Martin Avanzini, Ugo Dal Lago
2015 J jnl
Parallelism and Synchronization in an Infinitary Context (Long Version).
CoRR
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
2015 A* conf
Parallelism and Synchronization in an Infinitary Context.
LICS
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
2015 — ed.
Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014.
DCM
Ugo Dal Lago, Russ Harmer
2014 J jnl
Beta Reduction is Invariant, Indeed (Long Version).
CoRR
Beniamino Accattoli, Ugo Dal Lago
2014 — conf
Beta reduction is invariant, indeed.
CSL-LICS
Beniamino Accattoli, Ugo Dal Lago
2014 — ed.
Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
FOPARA
Ugo Dal Lago, Ricardo Peña
2014 J jnl
Linear dependent types in a call-by-value scenario.
Sci. Comput. Program.
Ugo Dal Lago, Barbara Petit
2014 A conf
Measurements in Proof Nets as Higher-Order Quantum Circuits.
ESOP
Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago
2014 J jnl
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version).
CoRR
Raphaëlle Crubillé, Ugo Dal Lago
2014 A conf
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi.
ESOP
Raphaëlle Crubillé, Ugo Dal Lago
2014 A* conf
On coinductive equivalences for higher-order probabilistic functional programs.
POPL
Ugo Dal Lago, Davide Sangiorgi, Michele Alberti
2014 J jnl
Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version).
CoRR
Ugo Dal Lago, Sara Zuppiroli
2014 C conf
Probabilistic Recursion Theory and Implicit Computational Complexity.
ICTAC
Ugo Dal Lago, Sara Zuppiroli
2014 J jnl
Probabilistic Recursion Theory and Implicit Computational Complexity.
Sci. Ann. Comput. Sci.
Ugo Dal Lago, Sara Zuppiroli, Maurizio Gabbrielli
2014 J jnl
The Geometry of Synchronization (Long Version).
CoRR
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
2014 — conf
The geometry of synchronization.
CSL-LICS
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
2014 — conf
Wave-Style Token Machines and Quantum Lambda Calculi.
LINEARITY
Ugo Dal Lago, Margherita Zorzi
2013 J jnl
Complexity Analysis in Presence of Control Operators and Higher-Order Functions (Long Version).
CoRR
Ugo Dal Lago, Giulio Pellitta
2013 B conf
Complexity Analysis in Presence of Control Operators and Higher-Order Functions.
LPAR
Ugo Dal Lago, Giulio Pellitta
2013 J jnl
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version).
CoRR
Ugo Dal Lago, Davide Sangiorgi, Michele Alberti
2013 A* conf
The geometry of types.
POPL
Ugo Dal Lago, Barbara Petit
2013 J jnl
Wave-Style Token Machines and Quantum Lambda Calculi.
CoRR
Ugo Dal Lago, Margherita Zorzi
2012 J jnl
An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version)
CoRR
Ugo Dal Lago, Paolo Parisen Toldin
2012 J jnl
Computational Complexity of Interactive Behaviors
CoRR
Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca
2012 B conf
Higher-Order Interpretations and Program Complexity.
CSL
Patrick Baillot, Ugo Dal Lago
2012 J jnl
Linear Dependent Types in a Call-by-Value Scenario (Long Version)
CoRR
Ugo Dal Lago, Barbara Petit
2012 C conf
Linear dependent types in a call-by-value scenario.
PPDP
Ugo Dal Lago, Barbara Petit
2012 J jnl
On Constructor Rewrite Systems and the Lambda Calculus
Log. Methods Comput. Sci.
Ugo Dal Lago, Simone Martini
2012 J jnl
On quasi-interpretations, blind abstractions and implicit complexity.
Math. Struct. Comput. Sci.
Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen
2012 J jnl
On the Invariance of the Unitary Cost Model for Head Reduction (Long Version)
CoRR
Beniamino Accattoli, Ugo Dal Lago
2012 — conf
On the Invariance of the Unitary Cost Model for Head Reduction.
RTA
Beniamino Accattoli, Ugo Dal Lago
2012 J jnl
Probabilistic operational semantics for the lambda calculus.
RAIRO Theor. Informatics Appl.
Ugo Dal Lago, Margherita Zorzi
2012 J jnl
The Geometry of Types (Long Version)
CoRR
Ugo Dal Lago, Barbara Petit
2011 — conf
A Higher-Order Characterization of Probabilistic Polynomial Time.
FOPARA
Ugo Dal Lago, Paolo Parisen Toldin
2011 — conf
A Short Introduction to Implicit Computational Complexity.
ESSLLI
Ugo Dal Lago
2011 J jnl
Light logics and optimal reduction: Completeness and complexity.
Inf. Comput.
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
2011 J jnl
Linear Dependent Types and Relative Completeness
Log. Methods Comput. Sci.
Ugo Dal Lago, Marco Gaboardi
2011 A* conf
Linear Dependent Types and Relative Completeness.
LICS
Ugo Dal Lago, Marco Gaboardi
2011 — conf
On Multiplicative Linear Logic, Modality and Quantum Circuits
QPL
Ugo Dal Lago, Claudia Faggian
2011 J jnl
Probabilistic Operational Semantics for the Lambda Calculus
CoRR
Ugo Dal Lago, Margherita Zorzi
2011 J jnl
Realizability models and implicit complexity.
Theor. Comput. Sci.
Ugo Dal Lago, Martin Hofmann
2011 — conf
Soft Session Types
EXPRESS
Ugo Dal Lago, Paolo Di Giamberardino
2011 J jnl
Soft Session Types (Long Version)
CoRR
Ugo Dal Lago, Paolo Di Giamberardino
2010 J jnl
A Semantic Proof of Polytime Soundness of Light Affine Logic.
Theory Comput. Syst.
Ugo Dal Lago, Martin Hofmann
2010 J jnl
Bounded Linear Logic, Revisited
Log. Methods Comput. Sci.
Ugo Dal Lago, Martin Hofmann
2010 A conf
Functional Programming in Sublinear Space.
ESOP
Ugo Dal Lago, Ulrich Schöpp
2010 — conf
General Ramified Recurrence is Sound for Polynomial Time
DICE
Ugo Dal Lago, Simone Martini, Margherita Zorzi
2010 — conf
Light Logics and Higher-Order Processes
EXPRESS
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
2010 J jnl
Quantum implicit computational complexity.
Theor. Comput. Sci.
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
2010 B conf
Type Inference for Sublinear Space Functional Programming.
APLAS
Ugo Dal Lago, Ulrich Schöpp
2009 — conf
Bounded Linear Logic, Revisited.
TLCA
Ugo Dal Lago, Martin Hofmann
2009 J jnl
Confluence Results for a Quantum Lambda Calculus with Measurements
CoRR
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
2009 — conf
Confluence Results for a Quantum Lambda Calculus with Measurements.
QPL@MFPS
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
2009 J jnl
Context semantics, linear logic, and computational complexity.
ACM Trans. Comput. Log.
Ugo Dal Lago
2009 — conf
Derivational Complexity Is an Invariant Cost Model.
FOPARA
Ugo Dal Lago, Simone Martini
2009 J jnl
On Constructor Rewrite Systems and the Lambda-Calculus
CoRR
Ugo Dal Lago, Simone Martini
2009 — conf
On Constructor Rewrite Systems and the Lambda-Calculus.
ICALP (2)
Ugo Dal Lago, Simone Martini
2009 J jnl
On a measurement-free quantum lambda calculus with classical control.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
2009 Misc conf
Taming Modal Impredicativity: Superlazy Reduction.
LFCS
Ugo Dal Lago, Luca Roversi, Luca Vercelli
2009 J jnl
The geometry of linear higher-order recursion.
ACM Trans. Comput. Log.
Ugo Dal Lago
2008 Misc conf
A Semantic Proof of Polytime Soundness of Light Affine Logic.
CSR
Ugo Dal Lago, Martin Hofmann
2008 J jnl
Light Logics and the Call-by-Value Lambda Calculus
CoRR
Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
2008 J jnl
Light Logics and the Call-by-Value Lambda Calculus.
Log. Methods Comput. Sci.
Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
2008 B conf
Quantitative Game Semantics for Linear Logic.
CSL
Ugo Dal Lago, Olivier Laurent
2008 J jnl
Taming Modal Impredicativity: Superlazy Reduction
CoRR
Ugo Dal Lago, Luca Roversi, Luca Vercelli
2008 J jnl
The weak lambda calculus as a reasonable machine.
Theor. Comput. Sci.
Ugo Dal Lago, Simone Martini
2007 J jnl
Compact and tractable automaton-based representations of time granularities.
Theor. Comput. Sci.
Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
2007 J jnl
Light Logics and Optimal Reduction: Completeness and Complexity
CoRR
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
2007 A* conf
Light Logics and Optimal Reduction: Completeness and Complexity.
LICS
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
2007 C conf
On the Equivalence of Automaton-Based Representations of Time Granularities.
TIME
Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
2007 J jnl
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power
CoRR
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
2006 C conf
An Invariant Cost Model for the Lambda Calculus.
CiE
Ugo Dal Lago, Simone Martini
2006 A* conf
Context Semantics, Linear Logic and Computational Complexity.
LICS
Ugo Dal Lago
2006 J jnl
On Quasi-Interpretations, Blind Abstractions and Implicit Complexity
CoRR
Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen
2006 J jnl
On light logics, uniform encodings and polynomial time.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Patrick Baillot
2005 J jnl
An Invariant Cost Model for the Lambda Calculus
CoRR
Ugo Dal Lago, Simone Martini
2005 J jnl
Context Semantics, Linear Logic and Computational Complexity
CoRR
Ugo Dal Lago
2005 — conf
Elementary Affine Logic and the Call-by-Value Lambda Calculus.
TLCA
Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
2005 J jnl
Quantitative Models and Implicit Complexity
CoRR
Ugo Dal Lago, Martin Hofmann
2005 — conf
Quantitative Models and Implicit Complexity.
FSTTCS
Ugo Dal Lago, Martin Hofmann
2005 — —
Semantic frameworks for implicit computational complexity.
Ugo Dal Lago
2005 J jnl
The Geometry of Linear Higher-Order Recursion
CoRR
Ugo Dal Lago
2005 A* conf
The Geometry of Linear Higher-Order Recursion.
LICS
Ugo Dal Lago
2004 J jnl
Phase semantics and decidability of elementary affine logic.
Theor. Comput. Sci.
Ugo Dal Lago, Simone Martini
2003 — conf
Higher-Order Linear Ramified Recurrence.
TYPES
Ugo Dal Lago, Simone Martini, Luca Roversi
2003 — conf
On the Expressive Power of Light Affine Logic.
ICTCS
Ugo Dal Lago
2003 — conf
Towards Compact and Tractable Automaten-Based Representations of Time Granularities.
ICTCS
Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
2002 — conf
Planning with a Language for Extended Goals.
AAAI/IAAI
Ugo Dal Lago, Marco Pistore, Paolo Traverso
2001 B conf
Calendars, Time Granularities, and Automata.
SSTD
Ugo Dal Lago, Angelo Montanari