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
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) [Contribution to conference proceedings]Open Access
Antonelli, Melissa; DAL LAGO, Ugo; Davoli, Davide; Oitavem, Isabel; Pistone, Paolo, Towards Randomized Bounded Arithmetic, in: Proceedings of XXVII AILA, 2022, pp. 1 - 2 (atti di: AILA, Caserta, 12-15 September 2022) [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, 2021, 202, pp. 1 - 12 (atti di: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, est, 2021) [Contribution to conference proceedings]Open Access
Dal Lago U.; Gavazzo F., Differential logical relations, part II increments and derivatives, «THEORETICAL COMPUTER SCIENCE», 2021, 895, pp. 34 - 47 [Scientific article]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 [Scientific article]Open Access
