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, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2019, 131, pp. 1 - 16 (atti di: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany, 2019) [Contributo in Atti di convegno]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., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 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) [Contributo in Atti di convegno]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 [articolo]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, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 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) [Contributo in Atti di convegno]
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, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 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) [Contributo in Atti di convegno]
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) [Contributo in Atti di convegno]
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, 2018, 10818, pp. 132 - 148 (atti di: 14th International Symposium on Functional and Logic Programming, FLOPS 2018, jpn, 2018) [Contributo in Atti di convegno]
Avanzini, Martin; Dal Lago, Ugo, On sharing, memoization, and polynomial time, «INFORMATION AND COMPUTATION», 2018, 261, pp. 3 - 22 [articolo]
Avanzini, Martin; Ugo Dal, Lago, Automating sized-Type inference and complexity analysis, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2017, 248, pp. 7 - 16 (atti di: 8th Workshop on Developments in Implicit Computational ComplExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis, DICE-FOPARA 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]
Avanzini, Martin; Dal Lago, Ugo, Automating sized-type inference for complexity analysis, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2017, 1, pp. 1 - 29 [articolo]
Dal Lago, Ugo; Gavazzo, Francesco; Levy, Paul Blain, Effectful applicative bisimilarity: Monads, relators, and Howe's method, in: Proceedings - Symposium on Logic in Computer Science, IEEE, 2017, pp. 1 - 12 (atti di: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, 2017) [Contributo in Atti di convegno]
Ugo Dal, Lago; Gavazzo, Francesco; Tanaka, Ryo, Effectful applicative similarity for call-by-name lambda calculi, in: Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking 2017 IEEE M&N, CEUR-WS, 2017, 1949, pp. 87 - 98 (atti di: Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017, ita, 2017) [Contributo in Atti di convegno]
Crubillé, Raphaelle; Dal Lago, Ugo, Metric reasoning about Lambda-Terms: The general case, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10201, pp. 341 - 367 (atti di: 26th European Symposium on Programming, ESOP 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe, On higher-order probabilistic subrecursion, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10203, pp. 370 - 386 (atti di: 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]
Ugo Dal, Lago; Grellois, Charles, Probabilistic termination by monadic affine sized typing, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10201, pp. 393 - 419 (atti di: 26th European Symposium on Programming, ESOP 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]
