Ugo Dal Lago

According to our database, Ugo Dal Lago authored at least 181 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On Model-Checking Higher-Order Effectful Programs.

Ugo Dal Lago, Alexis Ghyselen

Proc. ACM Program. Lang., January, 2024

Preface.

Ugo Dal Lago, Daniele Gorla

Theor. Comput. Sci., 2024

Reasonable Space for the λ-Calculus, Logarithmically.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Log. Methods Comput. Sci., 2024

On Randomized Computational Models and Complexity Classes: a Historical Overview.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

CoRR, 2024

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages.

Andrea Colledan, Ugo Dal Lago

CoRR, 2024

On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version).

Ugo Dal Lago, Davide Davoli, Bruce M. Kapron

CoRR, 2024

Towards logical foundations for probabilistic computation.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Ann. Pure Appl. Log., 2024

Towards Quantum Multiparty Session Types.

Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

On the Almost-Sure Termination of Binary Sessions.

Ugo Dal Lago, Luca Padovani

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

On Basic Feasible Functionals and the Interpretation Method.

Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Circuit Width Estimation via Effect Typing and Linear Dependency.

Andrea Colledan, Ugo Dal Lago

Proceedings of the Programming Languages and Systems, 2024

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.

Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

On Separation Logic, Computational Independence, and Pseudorandomness.

Ugo Dal Lago, Davide Davoli, Bruce M. Kapron

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

On Computational Indistinguishability and Logical Relations.

Ugo Dal Lago, Zeinab Galal, Giulia Giusti

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

On counting propositional logic and Wagner's hierarchy.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Theor. Comput. Sci., 2023

Preface to the special issue on metric and differential semantics.

Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone

Math. Struct. Comput. Sci., 2023

Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version).

Andrea Colledan, Ugo Dal Lago

CoRR, 2023

On Model-Checking Higher-Order Effectful Programs (Long Version).

Ugo Dal Lago, Alexis Ghyselen

CoRR, 2023

Contextual Behavioural Metrics (Extended Version).

Ugo Dal Lago, Maurizio Murgia

CoRR, 2023

A Log-Sensitive Encoding of Turing Machines in the λ-Calculus.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

CoRR, 2023

An Arithmetic Theory for the Poly-Time Random Functions.

Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone

CoRR, 2023

(Not So) Boring Abstract Machines.

Ugo Dal Lago, Gabriele Vanoni

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

On the Lattice of Program Metrics.

Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

Open Higher-Order Logic.

Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

Contextual Behavioural Metrics.

Ugo Dal Lago, Maurizio Murgia

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann.

Ugo Dal Lago

Math. Struct. Comput. Sci., June, 2022

A relational theory of effects and coeffects.

Ugo Dal Lago, Francesco Gavazzo

Proc. ACM Program. Lang., 2022

Effectful program distancing.

Ugo Dal Lago, Francesco Gavazzo

Proc. ACM Program. Lang., 2022

On Feller continuity and full abstraction.

Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

Proc. ACM Program. Lang., 2022

Multi types and reasonable space.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Proc. ACM Program. Lang., 2022

Open Higher-Order Logic (Long Version).

Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen

CoRR, 2022

On Feller Continuity and Full Abstraction (Long Version).

Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

CoRR, 2022

Multi Types and Reasonable Space (Long Version).

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

CoRR, 2022

On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version).

Ugo Dal Lago, Giulia Giusti

CoRR, 2022

On Reinforcement Learning, Effect Handlers, and the State Monad.

Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen

CoRR, 2022

On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version).

Andrea Colledan, Ugo Dal Lago

CoRR, 2022

Implicit recursion-theoretic characterizations of counting classes.

Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem

Arch. Math. Log., 2022

On Dynamic Lifting and Effect Typing in Circuit Description Languages.

Andrea Colledan, Ugo Dal Lago

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

Curry and Howard Meet Borel.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

On Quantitative Algebraic Higher-Order Theories.

Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments.

Ugo Dal Lago, Giulia Giusti

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Tidy: Symbolic Verification of Timed Cryptographic Protocols.

Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Differential logical relations, part II increments and derivatives.

Ugo Dal Lago, Francesco Gavazzo

Theor. Comput. Sci., 2021

Intersection types and (positive) almost-sure termination.

Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca

Proc. ACM Program. Lang., 2021

On continuation-passing transformations and expected cost analysis.

Martin Avanzini, Gilles Barthe, Ugo Dal Lago

Proc. ACM Program. Lang., 2021

The (In)Efficiency of interaction.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Proc. ACM Program. Lang., 2021

The geometry of Bayesian programming.

Ugo Dal Lago, Naohiko Hoshino

Math. Struct. Comput. Sci., 2021

On Higher-Order Probabilistic Subrecursion.

Flavien Breuvart, Ugo Dal Lago, Agathe Herrou

Log. Methods Comput. Sci., 2021

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems.

Ugo Dal Lago, Francesco Gavazzo

CoRR, 2021

The Space of Interaction (long version).

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

CoRR, 2021

On Measure Quantifiers in First-Order Arithmetic (Long Version).

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

CoRR, 2021

On Counting Propositional Logic.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

CoRR, 2021

Modal Reasoning = Metric Reasoning, via Lawvere.

Ugo Dal Lago, Francesco Gavazzo

CoRR, 2021

A Recursion-Theoretic Characterization of the Probabilistic Class PP.

Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

The Space of Interaction.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs.

Ugo Dal Lago, Francesco Gavazzo

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

On Measure Quantifiers in First-Order Arithmetic.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Proceedings of the Connecting with Computability, 2021

2020

On randomised strategies in the <i>λ</i>-calculus.

Ugo Dal Lago, Gabriele Vanoni

Theor. Comput. Sci., 2020

Effectful applicative similarity for call-by-name lambda calculi.

Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka

Theor. Comput. Sci., 2020

On probabilistic term rewriting.

Martin Avanzini, Ugo Dal Lago, Akihisa Yamada

Sci. Comput. Program., 2020

On the Termination Problem for Probabilistic Higher-Order Recursive Programs.

Naoki Kobayashi, Ugo Dal Lago, Charles Grellois

Log. Methods Comput. Sci., 2020

On Higher-Order Cryptography (Long Version).

Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago

CoRR, 2020

The Abstract Machinery of Interaction (Long Version).

Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni

CoRR, 2020

A Diagrammatic Calculus for Algebraic Effects.

Ugo Dal Lago, Francesco Gavazzo

CoRR, 2020

The Machinery of Interaction.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

On Higher-Order Cryptography.

Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Solvability in a Probabilistic Setting (Invited Talk).

Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Decomposing Probabilistic Lambda-Calculi.

Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes

Proceedings of the Foundations of Software Science and Computation Structures, 2020

On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem.

Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

Proceedings of the Programming Languages and Systems, 2020

2019

Probabilistic Termination by Monadic Affine Sized Typing.

Ugo Dal Lago, Charles Grellois

ACM Trans. Program. Lang. Syst., 2019

Intersection types and runtime errors in the pi-calculus.

Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu

Proc. ACM Program. Lang., 2019

Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.

Patrick Baillot, Gilles Barthe, Ugo Dal Lago

J. Autom. Reason., 2019

On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice.

Ugo Dal Lago, Francesco Gavazzo

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

Differential Logical Relations, Part I: The Simply-Typed Case (Long Version).

Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu

CoRR, 2019

On the Taylor Expansion of Probabilistic λ-Terms (Long Version).

Ugo Dal Lago, Thomas Leventis

CoRR, 2019

On the Taylor Expansion of Probabilistic lambda-terms.

Ugo Dal Lago, Thomas Leventis

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Type-Based Complexity Analysis of Probabilistic Functional Programs.

Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Differential Logical Relations, Part I: The Simply-Typed Case.

Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Effectful Normal Form Bisimulation.

Ugo Dal Lago, Francesco Gavazzo

Proceedings of the Programming Languages and Systems, 2019

2018

On sharing, memoization, and polynomial time.

Martin Avanzini, Ugo Dal Lago

Inf. Comput., 2018

On Randomised Strategies in the λ-Calculus (Long Version).

Ugo Dal Lago, Gabriele Vanoni

CoRR, 2018

On Intersection Types and Probabilistic Lambda Calculi.

Flavien Breuvart, Ugo Dal Lago

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

On Randomised Strategies in the λ-calculus.

Ugo Dal Lago, Gabriele Vanoni

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

2017

Automating sized-type inference for complexity analysis.

Martin Avanzini, Ugo Dal Lago

Proc. ACM Program. Lang., 2017

Encoding Turing Machines into the Deterministic Lambda-Calculus.

Ugo Dal Lago, Beniamino Accattoli

CoRR, 2017

The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version).

Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu

CoRR, 2017

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version).

Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy

CoRR, 2017

Probabilistic Termination by Monadic Affine Sized Typing (Long Version).

Ugo Dal Lago, Charles Grellois

CoRR, 2017

Metric Reasoning About λ-Terms: The General Case (Long Version).

Raphaëlle Crubillé, Ugo Dal Lago

CoRR, 2017

On Higher-Order Probabilistic Subrecursion (Long Version).

Flavien Breuvart, Ugo Dal Lago, Agathe Herrou

CoRR, 2017

Automating Sized Type Inference for Complexity Analysis (Technical Report).

Martin Avanzini, Ugo Dal Lago

CoRR, 2017

Automated Sized-Type Inference and Complexity Analysis.

Martin Avanzini, Ugo Dal Lago

Proceedings of the Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, 2017

The geometry of parallelism: classical, probabilistic, and quantum effects.

Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens.

Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Effectful applicative bisimilarity: Monads, relators, and Howe's method.

Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Metric Reasoning About \lambda -Terms: The General Case.

Raphaëlle Crubillé, Ugo Dal Lago

Proceedings of the Programming Languages and Systems, 2017

2016

On session types and polynomial time.

Ugo Dal Lago, Paolo Di Giamberardino

Math. Struct. Comput. Sci., 2016

Computation by interaction for space-bounded functional programming.

Ugo Dal Lago, Ulrich Schöpp

Inf. Comput., 2016

Higher-order interpretations and program complexity.

Patrick Baillot, Ugo Dal Lago

Inf. Comput., 2016

Infinitary λ-Calculi from a Linear Perspective (Long Version).

Ugo Dal Lago

CoRR, 2016

(Leftmost-Outermost) Beta Reduction is Invariant, Indeed.

Beniamino Accattoli, Ugo Dal Lago

Log. Methods Comput. Sci., 2016

Infinitary Lambda Calculi from a Linear Perspective.

Ugo Dal Lago

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

A lambda-calculus foundation for universal probabilistic programming.

Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Developments in Implicit Complexity (DICE 2012).

Ugo Dal Lago, Guillaume Bonfante

Theor. Comput. Sci., 2015

A higher-order characterization of probabilistic polynomial time.

Ugo Dal Lago, Paolo Parisen Toldin

Inf. Comput., 2015

Applicative Bisimulation and Quantum λ-Calculi (Long Version).

Ugo Dal Lago, Alessandro Rioli

CoRR, 2015

Parallelism and Synchronization in an Infinitary Context (Long Version).

Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu

CoRR, 2015

Metric Reasoning about λ-Terms: the Affine Case (Long Version).

Raphaëlle Crubillé, Ugo Dal Lago

CoRR, 2015

On Equivalences, Metrics, and Polynomial Time (Long Version).

Alberto Cappai, Ugo Dal Lago

CoRR, 2015

Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version).

Martin Avanzini, Ugo Dal Lago, Georg Moser

CoRR, 2015

On Sharing, Memoization, and Polynomial Time (Long Version).

Martin Avanzini, Ugo Dal Lago

CoRR, 2015

Parallelism and Synchronization in an Infinitary Context.

Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Metric Reasoning about λ-Terms: The Affine Case.

Raphaëlle Crubillé, Ugo Dal Lago

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Analysing the complexity of functional programs: higher-order meets first-order.

Martin Avanzini, Ugo Dal Lago, Georg Moser

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Applicative Bisimulation and Quantum λ-Calculi.

Ugo Dal Lago, Alessandro Rioli

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

On Equivalences, Metrics, and Polynomial Time.

Alberto Cappai, Ugo Dal Lago

Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015

On Coinduction and Quantum Lambda Calculi.

Yuxin Deng, Yuan Feng, Ugo Dal Lago

Proceedings of the 26th International Conference on Concurrency Theory, 2015

On Applicative Similarity, Sequentiality, and Full Abstraction.

Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli

Proceedings of the Correct System Design, 2015

2014

Linear dependent types in a call-by-value scenario.

Ugo Dal Lago, Barbara Petit

Sci. Comput. Program., 2014

Probabilistic Recursion Theory and Implicit Computational Complexity.

Ugo Dal Lago, Sara Zuppiroli, Maurizio Gabbrielli

Sci. Ann. Comput. Sci., 2014

Wave-Style Token Machines and Quantum Lambda Calculi.

Ugo Dal Lago, Margherita Zorzi

Proceedings of the Proceedings Third International Workshop on Linearity, 2014

Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version).

Ugo Dal Lago, Sara Zuppiroli

CoRR, 2014

The Geometry of Synchronization (Long Version).

Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu

CoRR, 2014

On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version).

Raphaëlle Crubillé, Ugo Dal Lago

CoRR, 2014

Beta Reduction is Invariant, Indeed (Long Version).

Beniamino Accattoli, Ugo Dal Lago

CoRR, 2014

On coinductive equivalences for higher-order probabilistic functional programs.

Ugo Dal Lago, Davide Sangiorgi, Michele Alberti

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Probabilistic Recursion Theory and Implicit Computational Complexity.

Ugo Dal Lago, Sara Zuppiroli

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Measurements in Proof Nets as Higher-Order Quantum Circuits.

Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago

Proceedings of the Programming Languages and Systems, 2014

On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi.

Raphaëlle Crubillé, Ugo Dal Lago

Proceedings of the Programming Languages and Systems, 2014

The geometry of synchronization.

Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Beta reduction is invariant, indeed.

Beniamino Accattoli, Ugo Dal Lago

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version).

Ugo Dal Lago, Davide Sangiorgi, Michele Alberti

CoRR, 2013

Complexity Analysis in Presence of Control Operators and Higher-Order Functions (Long Version).

Ugo Dal Lago, Giulio Pellitta

CoRR, 2013

The geometry of types.

Ugo Dal Lago, Barbara Petit

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Complexity Analysis in Presence of Control Operators and Higher-Order Functions.

Ugo Dal Lago, Giulio Pellitta

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

On quasi-interpretations, blind abstractions and implicit complexity.

Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen

Math. Struct. Comput. Sci., 2012

Probabilistic operational semantics for the lambda calculus.

Ugo Dal Lago, Margherita Zorzi

RAIRO Theor. Informatics Appl., 2012

The Geometry of Types (Long Version)

Ugo Dal Lago, Barbara Petit

CoRR, 2012

Computational Complexity of Interactive Behaviors

Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca

CoRR, 2012

On Constructor Rewrite Systems and the Lambda Calculus

Ugo Dal Lago, Simone Martini

Log. Methods Comput. Sci., 2012

Linear Dependent Types in a Call-by-Value Scenario (Long Version)

Ugo Dal Lago, Barbara Petit

CoRR, 2012

An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version)

Ugo Dal Lago, Paolo Parisen Toldin

CoRR, 2012

On the Invariance of the Unitary Cost Model for Head Reduction (Long Version)

Beniamino Accattoli, Ugo Dal Lago

CoRR, 2012

On the Invariance of the Unitary Cost Model for Head Reduction.

Beniamino Accattoli, Ugo Dal Lago

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

2011

Realizability models and implicit complexity.

Ugo Dal Lago, Martin Hofmann

Theor. Comput. Sci., 2011

Light logics and optimal reduction: Completeness and complexity.

Patrick Baillot, Paolo Coppola, Ugo Dal Lago

Inf. Comput., 2011

On Multiplicative Linear Logic, Modality and Quantum Circuits

Ugo Dal Lago, Claudia Faggian

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Soft Session Types

Ugo Dal Lago, Paolo Di Giamberardino

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Soft Session Types (Long Version)

Ugo Dal Lago, Paolo Di Giamberardino

CoRR, 2011

Linear Dependent Types and Relative Completeness

Ugo Dal Lago, Marco Gaboardi

Log. Methods Comput. Sci., 2011

A Short Introduction to Implicit Computational Complexity.

Ugo Dal Lago

Proceedings of the Lectures on Logic and Computation, 2011

2010

Quantum implicit computational complexity.

Ugo Dal Lago, Andrea Masini, Margherita Zorzi

Theor. Comput. Sci., 2010

A Semantic Proof of Polytime Soundness of Light Affine Logic.

Ugo Dal Lago, Martin Hofmann

Theory Comput. Syst., 2010

Light Logics and Higher-Order Processes

Ugo Dal Lago, Simone Martini, Davide Sangiorgi

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

General Ramified Recurrence is Sound for Polynomial Time

Ugo Dal Lago, Simone Martini, Margherita Zorzi

Proceedings of the Proceedings International Workshop on Developments in Implicit Computational complExity, 2010

Bounded Linear Logic, Revisited

Ugo Dal Lago, Martin Hofmann

Log. Methods Comput. Sci., 2010

Functional Programming in Sublinear Space.

Ugo Dal Lago, Ulrich Schöpp

Proceedings of the Programming Languages and Systems, 2010

Type Inference for Sublinear Space Functional Programming.

Ugo Dal Lago, Ulrich Schöpp

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Context semantics, linear logic, and computational complexity.

Ugo Dal Lago

ACM Trans. Comput. Log., 2009

The geometry of linear higher-order recursion.

Ugo Dal Lago

ACM Trans. Comput. Log., 2009

On a measurement-free quantum lambda calculus with classical control.

Ugo Dal Lago, Andrea Masini, Margherita Zorzi

Math. Struct. Comput. Sci., 2009

Confluence Results for a Quantum Lambda Calculus with Measurements.

Ugo Dal Lago, Andrea Masini, Margherita Zorzi

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

Taming Modal Impredicativity: Superlazy Reduction.

Ugo Dal Lago, Luca Roversi, Luca Vercelli

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

Derivational Complexity Is an Invariant Cost Model.

Ugo Dal Lago, Simone Martini

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

2008

The weak lambda calculus as a reasonable machine.

Ugo Dal Lago, Simone Martini

Theor. Comput. Sci., 2008

Light Logics and the Call-by-Value Lambda Calculus.

Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca

Log. Methods Comput. Sci., 2008

Quantitative Game Semantics for Linear Logic.

Ugo Dal Lago, Olivier Laurent

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

Compact and tractable automaton-based representations of time granularities.

Ugo Dal Lago, Angelo Montanari, Gabriele Puppis

Theor. Comput. Sci., 2007

Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power

Ugo Dal Lago, Andrea Masini, Margherita Zorzi

CoRR, 2007

On the Equivalence of Automaton-Based Representations of Time Granularities.

Ugo Dal Lago, Angelo Montanari, Gabriele Puppis

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

2006

On light logics, uniform encodings and polynomial time.

Ugo Dal Lago, Patrick Baillot

Math. Struct. Comput. Sci., 2006

An Invariant Cost Model for the Lambda Calculus.

Ugo Dal Lago, Simone Martini

Proceedings of the Logical Approaches to Computational Barriers, 2006

2005

Semantic frameworks for implicit computational complexity.

Ugo Dal Lago

PhD thesis, 2005

Elementary Affine Logic and the Call-by-Value Lambda Calculus.

Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Quantitative Models and Implicit Complexity.

Ugo Dal Lago, Martin Hofmann

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2004

Phase semantics and decidability of elementary affine logic.

Ugo Dal Lago, Simone Martini

Theor. Comput. Sci., 2004

2003

Higher-Order Linear Ramified Recurrence.

Ugo Dal Lago, Simone Martini, Luca Roversi

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Towards Compact and Tractable Automaten-Based Representations of Time Granularities.

Ugo Dal Lago, Angelo Montanari, Gabriele Puppis

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

On the Expressive Power of Light Affine Logic.

Ugo Dal Lago

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

2002

Planning with a Language for Extended Goals.

Ugo Dal Lago, Marco Pistore, Paolo Traverso

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Calendars, Time Granularities, and Automata.

Ugo Dal Lago, Angelo Montanari

Proceedings of the Advances in Spatial and Temporal Databases, 7th International Symposium, 2001