Dal Lago U.; Hoshino N., The geometry of Bayesian programming, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2021, 31, pp. 633 - 681 [articolo]Open Access
Dal Lago U.; Guerrieri G.; Heijltjes W., Decomposing Probabilistic Lambda-Calculi, in: Foundations of Software Science and Computation Structures. 23rd International Conference, FOSSACS 2020., Cham, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12077, pp. 136 - 156 (atti di: 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, irl, 2020) [Contributo in Atti di convegno]Open Access
Dal Lago U.; Gavazzo F.; Tanaka R., Effectful applicative similarity for call-by-name lambda calculi, «THEORETICAL COMPUTER SCIENCE», 2020, 813, pp. 234 - 247 [articolo]Open Access
Barak B.; Crubille R.; Dal Lago U., On higher-order cryptography, in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2020, 168, pp. 1 - 16 (atti di: 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, deu, 2020) [Contributo in Atti di convegno]Open Access
Avanzini M.; Dal Lago U.; Yamada A., On probabilistic term rewriting, «SCIENCE OF COMPUTER PROGRAMMING», 2020, 185, Article number: 102338, pp. 1 - 19 [articolo]Open Access
Dal Lago U.; Vanoni G., On randomised strategies in the λ-calculus, «THEORETICAL COMPUTER SCIENCE», 2020, 813, pp. 100 - 116 [articolo]
Barthe G.; Crubille R.; Dal Lago U.; Gavazzo F., On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem, in: Programming Languages and Systems. 29th European Symposium on Programming, ESOP 2020., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12075, pp. 56 - 83 (atti di: 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, irl, 2020) [Contributo in Atti di convegno]Open Access
Kobayashi N.; Dal Lago U.; Grellois C., On the termination problem for probabilistic higher-order recursive programs, «LOGICAL METHODS IN COMPUTER SCIENCE», 2020, 16, Article number: 2, pp. 1 - 57 [articolo]Open Access
Ronchi Della Rocca S.; Dal Lago U.; Faggian C., Solvability in a probabilistic setting, in: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2020, 167, pp. 1 - 17 (atti di: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, fra, 2020) [Contributo in Atti di convegno]Open Access
Accattoli B.; Dal Lago U.; Vanoni G., The machinery of interaction, in: ACM International Conference Proceeding Series, New York, Association for Computing Machinery, 2020, pp. 1 - 15 (atti di: 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of 2020 Bologna Federated Conference on Programming Languages, BOPL 2020, ita, 2020) [Contributo in Atti di convegno]Open Access
Dal Lago U.; Gavazzo F.; Yoshimizu A., Differential logical relations, Part I: The simply-typed case, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2019, 132, pp. 1 - 14 (atti di: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Patras, Greece, 2019) [Contributo in Atti di convegno]Open Access
Dal Lago U.; Gavazzo F., Effectful Normal Form Bisimulation, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11423, pp. 263 - 292 (atti di: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, cze, 2019) [Contributo in Atti di convegno]
Baillot P.; Barthe G.; Dal Lago U., Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs, «JOURNAL OF AUTOMATED REASONING», 2019, 63, pp. 813 - 855 [articolo]
Dal Lago, Ugo; de Visme, Marc; Mazza, Damiano; Yoshimizu, Akira, Intersection types and runtime errors in the pi-calculus, in: Proceedings of the 2019 Symposium on Principles of Programming Languages (POPL), 2019, 3, pp. 1 - 29 (atti di: ACM-SIGACT Symposium on Principles of Programming Languages (POPL), Cascais, Portogallo, 13-19 Gennaio 2019) [Contributo in Atti di convegno]
Lago, Ugo Dal; Gavazzo, Francesco, On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice, in: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019., 2019, 347, pp. 121 - 141 (atti di: Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, London, UK, June 4-7, 2019) [Contributo in Atti di convegno]
