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 | 48 | 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 | 33 | 2018 |

Effectful Normal Form Bisimulation. U Dal Lago, F Gavazzo ESOP 19, 263-292, 2019 | 25 | 2019 |

On the versatility of open logical relations G Barthe, R Crubillé, UD Lago, F Gavazzo European Symposium on Programming, 56-83, 2020 | 15 | 2020 |

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 | 15 | 2019 |

Effectful applicative similarity for call-by-name lambda calculi U Dal Lago, F Gavazzo, R Tanaka Theoretical Computer Science 813, 234-247, 2020 | 11 | 2020 |

Coinductive equivalences and metrics for higher-order languages with algebraic effects F Gavazzo alma, 2019 | 11 | 2019 |

On bisimilarity in lambda calculi with continuous probabilistic choice U Dal Lago, F Gavazzo Electronic Notes in Theoretical Computer Science 347, 121-141, 2019 | 9 | 2019 |

Differential logical relations, part II increments and derivatives U Dal Lago, F Gavazzo Theoretical Computer Science 895, 34-47, 2021 | 7 | 2021 |

A relational theory of effects and coeffects U Dal Lago, F Gavazzo Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022 | 5 | 2022 |

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 | 5 | 2021 |

Effectful program distancing U Dal Lago, F Gavazzo Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 3 | 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 | 2 | 2021 |

On Feller Continuity and Full Abstraction (Long Version) G Barthe, R Crubillé, UD Lago, F Gavazzo arXiv preprint arXiv:2207.10590, 2022 | 1 | 2022 |

A Fibrational Tale of Operational Logical Relations F Dagnino, F Gavazzo 7th International Conference on Formal Structures for Computation and …, 2022 | 1 | 2022 |

Modal Reasoning= Metric Reasoning, via Lawvere U Dal Lago, F Gavazzo arXiv e-prints, arXiv: 2103.03871, 2021 | 1 | 2021 |

Differential logical relations U Dal Lago, F Gavazzo, A Yoshimizu Part I: The simply-typed case (extended version), 2018 | 1 | 2018 |

Investigations into linear logic with fixed-point operators F Gavazzo | 1 | 2016 |

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 | | 2022 |

Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems F Gavazzo, C Di Florio arXiv preprint arXiv:2206.13610, 2022 | | 2022 |