| Effectful applicative bisimilarity: Monads, relators, and Howe's method U Dal Lago, F Gavazzo, PB Levy 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 69 | 2017 |
| Quantitative behavioural reasoning for higher-order effectful programs: Applicative distances F Gavazzo Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 53 | 2018 |
| Effectful Normal Form Bisimulation. U Dal Lago, F Gavazzo ESOP 19, 263-292, 2019 | 33 | 2019 |
| On the versatility of open logical relations: Continuity, automatic differentiation, and a containment theorem G Barthe, R Crubillé, UD Lago, F Gavazzo European Symposium on Programming, 56-83, 2020 | 30 | 2020 |
| A relational theory of effects and coeffects U Dal Lago, F Gavazzo Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022 | 29 | 2022 |
| Differential logical relations part I: the simply-typed case U Dal Lago, F Gavazzo, A Yoshimizu ICALP 2019-46th International Colloquium on Automata, Languages and Programming, 2019 | 26 | 2019 |
| Elements of quantitative rewriting F Gavazzo, C Di Florio Proceedings of the ACM on Programming Languages 7 (POPL), 1832-1863, 2023 | 17 | 2023 |
| On bisimilarity in lambda calculi with continuous probabilistic choice U Dal Lago, F Gavazzo Electronic Notes in Theoretical Computer Science 347, 121-141, 2019 | 16 | 2019 |
| Coinductive equivalences and metrics for higher-order languages with algebraic effects F Gavazzo alma, 2019 | 16 | 2019 |
| Effectful applicative similarity for call-by-name lambda calculi U Dal Lago, F Gavazzo, R Tanaka Theoretical Computer Science 813, 234-247, 2020 | 15 | 2020 |
| Differential logical relations, part II increments and derivatives U Dal Lago, F Gavazzo Theoretical Computer Science 895, 34-47, 2021 | 14 | 2021 |
| Effectful program distancing U Dal Lago, F Gavazzo Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 11 | 2022 |
| A relational theory of monadic rewriting systems, part I F Gavazzo, C Faggian 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 8 | 2021 |
| Resource transition systems and full abstraction for linear higher-order effectful programs U Dal Lago, F Gavazzo FSCD 2021-6th International Conference on Formal Structures for Computation …, 2021 | 6 | 2021 |
| A fibrational tale of operational logical relations F Dagnino, F Gavazzo FSCD 2022-7th International Conference on Formal Structures for Computation …, 2022 | 4 | 2022 |
| On Feller continuity and full abstraction G Barthe, R Crubillé, U Dal Lago, F Gavazzo Proceedings of the ACM on Programming Languages 6 (ICFP), 826-854, 2022 | 3 | 2022 |
| Monadic Intersection Types, Relationally F Gavazzo, R Treglia, G Vanoni European Symposium on Programming, 22-51, 2024 | 1 | 2024 |
| A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential F Dagnino, F Gavazzo Logical Methods in Computer Science 20, 2024 | 1 | 2024 |
| Allegories of Symbolic Manipulations G Francesco 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 1--15, 2023 | 1* | 2023 |
| Open higher-order logic (long version) U Dal Lago, F Gavazzo, A Ghyselen arXiv e-prints, arXiv: 2211.06671, 2022 | 1 | 2022 |
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisAdresse e-mail validée de cs.unibo.it
