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
262017
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
142018
Effectful Normal Form Bisimulation.
U Dal Lago, F Gavazzo
ESOP 19, 263-292, 2019
92019
On the Versatility of Open Logical Relations
G Barthe, R Crubillé, U Dal Lago, F Gavazzo
European Symposium on Programming, 56-83, 2020
62020
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
42019
Effectful applicative similarity for call-by-name lambda calculi
U Dal Lago, F Gavazzo, R Tanaka
Theoretical Computer Science 813, 234-247, 2020
32020
On bisimilarity in lambda calculi with continuous probabilistic choice
U Dal Lago, F Gavazzo
Electronic Notes in Theoretical Computer Science 347, 121-141, 2019
12019
Coinductive equivalences and metrics for higher-order languages with algebraic effects
F Gavazzo
Alma Mater Studiorum Università di Bologna, 2019
12019
Differential logical relations
U Dal Lago, F Gavazzo, A Yoshimizu
Part I: The simply-typed case (extended version), 2018
12018
Investigations into linear logic with fixed-point operators
F Gavazzo
12016
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
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
U Dal Lago, F Gavazzo, A Yoshimizu
arXiv e-prints, arXiv: 1904.12137, 2019
2019
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version)
F Gavazzo
arXiv preprint arXiv:1801.09072, 2018
2018
Quantitative Behavioural Reasoning for Higher-order Effectful Languages: Applicative Distances (Extended Version)
F Gavazzo
arXiv preprint arXiv:1801.09072, 2018
2018
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)
UD Lago, F Gavazzo, PB Levy
arXiv preprint arXiv:1704.04647, 2017
2017
Progetto per il Corso di Sistemi Complessi
O Babaoglu, F Gavazzo
2016
Modal Reasoning= Metric Reasoning, via Lawvere
F Gavazzo
The system can't perform the operation now. Try again later.
Articles 1–19