Follow
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
482017
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
332018
Effectful Normal Form Bisimulation.
U Dal Lago, F Gavazzo
ESOP 19, 263-292, 2019
252019
On the versatility of open logical relations
G Barthe, R Crubillé, UD Lago, F Gavazzo
European Symposium on Programming, 56-83, 2020
152020
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
152019
Effectful applicative similarity for call-by-name lambda calculi
U Dal Lago, F Gavazzo, R Tanaka
Theoretical Computer Science 813, 234-247, 2020
112020
Coinductive equivalences and metrics for higher-order languages with algebraic effects
F Gavazzo
alma, 2019
112019
On bisimilarity in lambda calculi with continuous probabilistic choice
U Dal Lago, F Gavazzo
Electronic Notes in Theoretical Computer Science 347, 121-141, 2019
92019
Differential logical relations, part II increments and derivatives
U Dal Lago, F Gavazzo
Theoretical Computer Science 895, 34-47, 2021
72021
A relational theory of effects and coeffects
U Dal Lago, F Gavazzo
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
52022
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
52021
Effectful program distancing
U Dal Lago, F Gavazzo
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
32022
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
22021
On Feller Continuity and Full Abstraction (Long Version)
G Barthe, R Crubillé, UD Lago, F Gavazzo
arXiv preprint arXiv:2207.10590, 2022
12022
A Fibrational Tale of Operational Logical Relations
F Dagnino, F Gavazzo
7th International Conference on Formal Structures for Computation and …, 2022
12022
Modal Reasoning= Metric Reasoning, via Lawvere
U Dal Lago, F Gavazzo
arXiv e-prints, arXiv: 2103.03871, 2021
12021
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
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
The system can't perform the operation now. Try again later.
Articles 1–20