Francesco Gavazzo
Title
Cited by
Cited by
Year
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
322017
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
232018
Effectful Normal Form Bisimulation.
U Dal Lago, F Gavazzo
ESOP 19, 263-292, 2019
132019
On the versatility of open logical relations: Continuity, automatic differentiation, and a containment theorem
G Barthe, R Crubillé, UD Lago, F Gavazzo
arXiv preprint arXiv:2002.08489, 2020
72020
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
72019
Effectful applicative similarity for call-by-name lambda calculi
U Dal Lago, F Gavazzo, R Tanaka
Theoretical Computer Science 813, 234-247, 2020
52020
Coinductive equivalences and metrics for higher-order languages with algebraic effects
F Gavazzo
Alma Mater Studiorum Università di Bologna, 2019
42019
On bisimilarity in lambda calculi with continuous probabilistic choice
U Dal Lago, F Gavazzo
Electronic Notes in Theoretical Computer Science 347, 121-141, 2019
32019
On the versatility of open logical relations
G Barthe, R Crubillé, U Dal Lago, F Gavazzo
Programming Languages and Systems-29th European Symposium on Programming …, 2020
22020
Differential logical relations
U Dal Lago, F Gavazzo, A Yoshimizu
Part I: The simply-typed case (extended version), 2018
22018
Investigations into linear logic with fixed-point operators
F Gavazzo
12016
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
2021
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems
UD Lago, F Gavazzo
arXiv preprint arXiv:2106.12849, 2021
2021
Modal Reasoning= Metric Reasoning, via Lawvere
UD Lago, F Gavazzo
arXiv preprint arXiv:2103.03871, 2021
2021
Modal Reasoning= Metric Reasoning, via Lawvere
U Dal Lago, F Gavazzo
arXiv e-prints, arXiv: 2103.03871, 2021
2021
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs
U Dal Lago, F Gavazzo
6th International Conference on Formal Structures for Computation and …, 2021
2021
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
P Müller, G Barthe, R Crubillé, U Lago, F Gavazzo
Programming Languages and Systems29th European Symposium on Programming …, 2020
2020
A Diagrammatic Calculus for Algebraic Effects
UD Lago, F Gavazzo
arXiv preprint arXiv:2001.01337, 2020
2020
A Diagrammatic Calculus for Algebraic Effects
U Dal Lago, F Gavazzo
arXiv e-prints, arXiv: 2001.01337, 2020
2020
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
UD Lago, F Gavazzo, A Yoshimizu
arXiv preprint arXiv:1904.12137, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20