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
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, 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) [Contribution to conference proceedings]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 [Scientific article]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, 2022, pp. 1 - 13 (atti di: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contribution to conference proceedings]Open Access
Ugo Dal Lago; Francesco Gavazzo, Effectful program distancing, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, Article number: 19 , pp. 1 - 30 [Scientific article]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 [Scientific article]
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 [Scientific article]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 [Scientific article]Open Access
Ugo Dal Lago; Furio Honsell; Marina Lenisa; Paolo Pistone, On Quantitative Algebraic Higher-Order Theories, in: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel., 2022, 228, pp. 1 - 18 (atti di: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022., Haifa, Israel, August 2-5, 2022.) [Contribution to conference proceedings]Open Access
Ugo Dal Lago; Giulia Giusti, On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments, in: 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland., Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2022, 243, pp. 1 - 18 (atti di: 33rd International Conference on Concurrency Theory, CONCUR 2022., Warsaw, Poland, September 12-16, 2022) [Contribution to conference proceedings]Open Access
Beniamino Accattoli; Ugo Dal Lago; Gabriele Vanoni, Reasonable Space for the Lambda-Calculus, Logarithmically, in: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '22)., New York, Association for Computing Machinery, 2022, pp. 1 - 13 (atti di: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contribution to conference proceedings]Open Access
