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
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., «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 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.) [Contributo in Atti di convegno]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, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 243, pp. 1 - 18 (atti di: 33rd International Conference on Concurrency Theory, CONCUR 2022., Warsaw, Poland, September 12-16, 2022) [Contributo in Atti di convegno]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, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2022, pp. 1 - 13 (atti di: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contributo in Atti di convegno]Open Access
Barthe, Gilles; Dal Lago, Ugo; Malavolta, Giulio; Rakotonirina, Itsaka, Tidy: Symbolic Verification of Timed Cryptographic Protocols, in: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, New York, Association for Computing Machinery, 2022, pp. 263 - 276 (atti di: 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022) [Contributo in Atti di convegno]Open Access
Melissa Antonelli,
Ugo Dal Lago,
Davide Davoli,
Isabel Oitavem,
Paolo Pistone, Towards Randomized Bounded Arithmetic, in: Proceedings of XXVII AILA, 2022, pp. 1 - 2 (atti di: AILA, Caserta, 12-15 September 2022) [atti di convegno-abstract]
Dal Lago U.; Kahle R.; Oitavem I., A Recursion-Theoretic Characterization of the Probabilistic Class PP, in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Dagstuhl, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2021, 202, pp. 1 - 12 (atti di: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, est, 2021) [Contributo in Atti di convegno]Open Access
Dal Lago U.; Gavazzo F., Differential logical relations, part II increments and derivatives, «THEORETICAL COMPUTER SCIENCE», 2021, 895, pp. 34 - 47 [articolo]Open Access
Dal Lago U.; Faggian C.; Ronchi Della Rocca S., Intersection types and (positive) almost-sure termination, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2021, 5, Article number: 32, pp. 1 - 32 [articolo]Open Access
Avanzini M.; Barthe G.; Dal Lago U., On continuation-passing transformations and expected cost analysis, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2021, 5, Article number: 3473592, pp. 1 - 30 [articolo]Open Access
Antonelli M.; Dal Lago U.; Pistone P., On Counting Propositional Logic and Wagner's Hierarchy, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2021, 3072, pp. 107 - 121 (atti di: 22nd Italian Conference on Theoretical Computer Science, ICTCS 2021, ita, 2021) [Contributo in Atti di convegno]Open Access
Flavien Breuvart; Ugo Dal Lago; Agathe Herrou, On Higher-Order Probabilistic Subrecursion, «LOGICAL METHODS IN COMPUTER SCIENCE», 2021, 17, Article number: 25, pp. 1 - 35 [articolo]Open Access
Antonelli M.; Dal Lago U.; Pistone P., On Measure Quantifiers in First-Order Arithmetic, in: Connecting with Computability. 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings, Cham, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12813, pp. 12 - 24 (atti di: 17th Conference on Computability in Europe, CiE 2021, Online, 2021) [Contributo in Atti di convegno]Open Access
Dal Lago U.; Gavazzo F., Resource transition systems and full abstraction for linear higher-order effectful programs, in: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2021, 195, pp. 1 - 19 (atti di: 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, arg, 2021) [Contributo in Atti di convegno]Open Access
Dal Lago U.; Hoshino N., The geometry of Bayesian programming, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2021, 31, pp. 633 - 681 [articolo]Open Access
