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, 2020, 167, pp. 1 - 17 (atti di: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, fra, 2020) [Contribution to conference proceedings]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) [Contribution to conference proceedings]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, 2019, 132, pp. 1 - 14 (atti di: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Patras, Greece, 2019) [Contribution to conference proceedings]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, 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) [Contribution to conference proceedings]
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 [Scientific article]
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), «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2019, 3, pp. 1 - 29 (atti di: ACM-SIGACT Symposium on Principles of Programming Languages (POPL), Cascais, Portogallo, 13-19 Gennaio 2019) [Contribution to conference proceedings]
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., «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2019, 347, pp. 121 - 141 (atti di: Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, London, UK, June 4-7, 2019) [Contribution to conference proceedings]
Dal Lago U.; Leventis T., On the Taylor expansion of probabilistic λ-terms, in: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019, 131, pp. 1 - 16 (atti di: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany, 2019) [Contribution to conference proceedings]Open Access
Kobayashi, N.; Dal Lago, U.; Grellois, C., On the termination problem for probabilistic higher-order recursive programs, in: Proceedings of the 34th Symposium on Logic in Computer Science (LICS), Institute of Electrical and Electronics Engineers Inc., 2019, 2019-, pp. 1 - 12 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contribution to conference proceedings]Open Access
Lago U.D.; Grellois C., Probabilistic termination by monadic affine sized typing, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2019, 41, Article number: 10 , pp. 1 - 65 [Scientific article]Open Access
Dal Lago U.; Hoshino N., The Geometry of Bayesian Programming, in: Proceedings of the 34th Symposium on Logic in Computer Science (LICS), IEEE, 2019, 2019-, pp. 1 - 13 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contribution to conference proceedings]
Avanzini Martin; Dal Lago U.; Ghyselen A., Type-based complexity analysis of probabilistic functional programs, in: Proceedings of the 34th Symposium on Logic in Computer Science, IEEE, 2019, 2019-, pp. 1 - 13 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contribution to conference proceedings]
Breuvart, Flavien; Lago, Ugo Dal, On Intersection Types and Probabilistic Lambda Calculi, in: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2018, 1515 BROADWAY, NEW YORK, NY 10036-9998 USA, ASSOC COMPUTING MACHINERY, 2018, pp. 1 - 13 (atti di: Principles and Practice of Declarative Programming, Frankfurt am Main, Germany, September 2018) [Contribution to conference proceedings]
Avanzini, Martin*; Dal Lago, Ugo; Yamada, Akihisa, On probabilistic term rewriting, 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», 2018, 10818, pp. 132 - 148 (atti di: 14th International Symposium on Functional and Logic Programming, FLOPS 2018, jpn, 2018) [Contribution to conference proceedings]
Avanzini, Martin; Dal Lago, Ugo, On sharing, memoization, and polynomial time, «INFORMATION AND COMPUTATION», 2018, 261, pp. 3 - 22 [Scientific article]
