Baillot, Patrick; Lago, Ugo Dal; Kop, Cynthia; Vale, Deivid, A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations, «LOGICAL METHODS IN COMPUTER SCIENCE», 2025, Volume 21, Issue 4, pp. 1 - 35 [articolo]
Dal Lago, Ugo, Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages, in: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025, pp. 1 - 3 (atti di: 27th International Symposium on Principles and Practice of Declarative Programming, Rende, Calabria, Italy, September 2025) [atti di convegno-abstract]
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), 2025, 9, pp. 1386 - 1416 (atti di: POPL 2025, Denver, Colorado, Stati Uniti, 19-25 Gennaio 2025) [Contributo in Atti di convegno]Open Access
Lago, Ugo Dal; Galal, Zeinab; Giusti, Giulia, On Computational Indistinguishability and Logical Relations, in: Programming Languages and Systems. 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024. Proceedings, 152 BEACH ROAD, #21-01/04 GATEWAY EAST, SINGAPORE, 189721, SINGAPORE, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15194, pp. 241 - 263 (atti di: 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, Kyoto, Japan, October 22-24, 2024) [Contributo in Atti di convegno]Open Access
Sekiyama, Taro; Dal Lago, Ugo; Unno, Hiroshi, On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2025, 9, pp. 3726 - 3754 [articolo]
Dal Lago, Ugo; Hoshino, Naohiko; Pistone, Paolo, On the Metric Nature of (Differential) Logical Relations, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2025, 337, pp. 1 - 22 (atti di: 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, Birmingham, UK, 2025) [Contributo in Atti di convegno]
Lanese, I.; Dal Lago, U.; Choudhury, V., Towards Quantum Multiparty Session Types, in: Software Engineering and Formal Methods (SEFM 2024), «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15280, pp. 385 - 403 (atti di: SEFM, Aveiro, Portugal, 4-8/11/2024) [Contributo in Atti di convegno]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, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, pp. 3 - 30 (atti di: ESOP 2024, Luxembourg City, Luxembourg, April 6–11, 2024) [Contributo in Atti di convegno]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), «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2024, 288, pp. 1 - 19 (atti di: 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, February 19-23, 2024) [Contributo in Atti di convegno]Open Access
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 [articolo]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) [Contributo in Atti di convegno]
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 [articolo]
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 [articolo]
Ugo Dal Lago; Maurizio Murgia, Contextual Behavioural Metrics, in: 34th International Conference on Concurrency Theory (CONCUR 2023), Dagstuhl, Schloss Dagstuhl - Leibniz Center for Informatic, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2023, 279, pp. 1 - 17 (atti di: 34th International Conference on Concurrency Theory, CONCUR 2023, Antwerp, Belgio, Settembre 2023) [Contributo in Atti di convegno]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) [atti di convegno-abstract]
