Colledan, Andrea; Dal Lago, Ugo, Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages, in: 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025), «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2025, 9, pp. 1386 - 1416 (atti di: POPL 2025, Denver, Colorado, Stati Uniti, 19-25 Gennaio 2025) [Contribution to conference proceedings]Open Access
Lanese, I.; Dal Lago, U.; Choudhury, V., Towards Quantum Multiparty Session Types, in: Software Engineering and Formal Methods (SEFM 2024), 2025, 15280, pp. 385 - 403 (atti di: SEFM, Aveiro, Portugal, 4-8/11/2024) [Contribution to conference proceedings]Open Access
Colledan, Andrea; Dal Lago, Ugo, Circuit Width Estimation via Effect Typing and Linear Dependency, in: Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II, 2024, pp. 3 - 30 (atti di: ESOP 2024, Luxembourg City, Luxembourg, April 6–11, 2024) [Contribution to conference proceedings]Open Access
Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone, Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories, in: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 2024, 288, pp. 1 - 19 (atti di: 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, February 19-23, 2024) [Contribution to conference proceedings]Open Access
Lago, Ugo Dal; Galal, Zeinab; Giusti, Giulia, On Computational Indistinguishability and Logical Relations, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 152 BEACH ROAD, #21-01/04 GATEWAY EAST, SINGAPORE, 189721, SINGAPORE, Springer Science and Business Media Deutschland GmbH, 2024, 15194, pp. 241 - 263 (atti di: 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, Japan, 2024) [Contribution to conference proceedings]
Dal Lago, Ugo; Ghyselen, Alexis, On Model-Checking Higher-Order Effectful Programs, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2024, 8, Article number: 87 , pp. 2610 - 2638 [Scientific article]Open Access
Dal Lago, Ugo; Padovani, Luca, On the Almost-Sure Termination of Binary Sessions, in: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, New York, ACM, 2024, pp. 1 - 12 (atti di: Principles and Practice of Declarative Programming, Milano, 10-11 Settembre 2024) [Contribution to conference proceedings]
Accattoli, Beniamino; Lago, Ugo Dal; Vanoni, Gabriele, Reasonable Space for the Lambda-Calculus, Logarithmically, «LOGICAL METHODS IN COMPUTER SCIENCE», 2024, Volume 20, Issue 4, pp. 1 - 57 [Scientific article]
Antonelli M.; Dal Lago U.; Pistone P., Towards logical foundations for probabilistic computation, «ANNALS OF PURE AND APPLIED LOGIC», 2024, 175, Article number: 103341 , pp. 1 - 51 [Scientific article]
Ugo Dal Lago; Maurizio Murgia, Contextual Behavioural Metrics, in: 34th International Conference on Concurrency Theory (CONCUR 2023), Dagstuhl, Schloss Dagstuhl - Leibniz Center for Informatic, 2023, 279, pp. 1 - 17 (atti di: 34th International Conference on Concurrency Theory, CONCUR 2023, Antwerp, Belgio, Settembre 2023) [Contribution to conference proceedings]Open Access
Melissa Antonelli,
Ugo Dal Lago,
Davide Davoli,
Paolo Pistone,
Isabel Oitavem, Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories, in: Logic Colloquium 2023 - Book of Abstracts, 2023, pp. 45 - 46 (atti di: Logic Colloquium, Milan, 5-9 June 2023) [Abstract]
Ugo Dal Lago;
Gabriele Vanoni, (Not So) Boring Abstract Machines, in: Proceedings of the 24th Italian Conference on Theoretical Computer Science, Aachen, CEUR-WS, 2023, 3587, pp. 225 - 240 (atti di: 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, Settembre 2023) [Contribution to conference proceedings]Open Access
Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo, On Counting Propositional Logic and Wagner's Hierarchy, «THEORETICAL COMPUTER SCIENCE», 2023, 966–967, Article number: 113928 , pp. 1 - 34 [Scientific article]Open Access
Andrea Colledan; Ugo Dal Lago, On Dynamic Lifting and Effect Typing in Circuit Description Languages, in: 28th International Conference on Types for Proofs and Programs (TYPES 2022), Dagstuhl, Schloss-Dagstuhl - Leibniz Zentrum für Informatik, 2023, 269, pp. 1 - 21 (atti di: TYPES 2022, University of Nantes, France, June 20–25, 2022) [Contribution to conference proceedings]Open Access
Ugo Dal Lago; Naohiko Hoshino; Paolo Pistone, On the Lattice of Program Metrics, in: Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)., Dagstuhl, Schloss Dagstuhl Leibniz, 2023, 260, pp. 1 - 19 (atti di: 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)., Roma, 3-6 Luglio 2023) [Contribution to conference proceedings]Open Access
