Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone, Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories, in: Proceedings of the 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 2024) [Contributo in Atti di convegno]
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]
Ugo Dal Lago; Maurizio Murgia, Contextual Behavioural Metrics, in: Proceedings of the 34th International Conference on Concurrency Theory, CONCUR 2023, 2023, pp. 1 - 17 (atti di: 34th International Conference on Concurrency Theory, CONCUR 2023, Antwerp, Belgio, Settembre 2023) [Contributo in Atti di convegno]
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]
Ugo Dal Lago;
Gabriele Vanoni, (Not So) Boring Abstract Machines, in: Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023, pp. 225 - 240 (atti di: 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, Settembre 2023) [Contributo in Atti di convegno]
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 [articolo]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, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2023, 269, pp. 1 - 21 (atti di: TYPES 2022, University of Nantes, France, June 20–25, 2022) [Contributo in Atti di convegno]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, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2023, 260, pp. 1 - 19 (atti di: 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)., Roma, 3-6 Luglio 2023) [Contributo in Atti di convegno]Open Access
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen, Open Higher-Order Logic, in: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), Dagstuhl, Klin, Bartek and Pimentel, Elaine, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2023, 252, pp. 1 - 17 (atti di: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), Poland, University of Warsaw, February 13-16, 2023) [Contributo in Atti di convegno]Open Access
Dal Lago, U; Gavazzo, F, A Relational Theory of Effects and Coeffects, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, Article number: 31, pp. 1 - 28 [articolo]Open Access
Melissa Antonelli; Ugo Dal Lago; Paolo Pistone, Curry and Howard Meet Borel, in: In Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '22), New York, Association for Computing Machinery, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2022, pp. 1 - 13 (atti di: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contributo in Atti di convegno]Open Access
Ugo Dal Lago; Francesco Gavazzo, Effectful program distancing, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, Article number: 19, pp. 1 - 30 [articolo]Open Access
Ugo Dal Lago; Reinhard Kahle; Isabel Oitavem, Implicit recursion-theoretic characterizations of counting classes, «ARCHIVE FOR MATHEMATICAL LOGIC», 2022, 61, pp. 1129 - 1144 [articolo]
Accattoli, B; Dal Lago, U; Vanoni, G, Multi Types and Reasonable Space, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, Article number: 119, pp. 799 - 825 [articolo]Open Access
Barthe, G; Crubille, R; Dal Lago, U; Gavazzo, F, On Feller Continuity and Full Abstraction, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 826 - 854 [articolo]Open Access
