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
652017
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
452018
Effectful Normal Form Bisimulation.
U Dal Lago, F Gavazzo
ESOP 19, 263-292, 2019
322019
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
28*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
232019
A relational theory of effects and coeffects
U Dal Lago, F Gavazzo
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
202022
Coinductive equivalences and metrics for higher-order languages with algebraic effects
F Gavazzo
alma, 2019
162019
Effectful applicative similarity for call-by-name lambda calculi
U Dal Lago, F Gavazzo, R Tanaka
Theoretical Computer Science 813, 234-247, 2020
142020
Differential logical relations, part II increments and derivatives
U Dal Lago, F Gavazzo
Theoretical Computer Science 895, 34-47, 2021
132021
On bisimilarity in lambda calculi with continuous probabilistic choice
U Dal Lago, F Gavazzo
Electronic Notes in Theoretical Computer Science 347, 121-141, 2019
132019
Effectful program distancing
U Dal Lago, F Gavazzo
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
112022
Elements of quantitative rewriting
F Gavazzo, C Di Florio
Proceedings of the ACM on Programming Languages 7 (POPL), 1832-1863, 2023
92023
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
62021
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
62021
A fibrational tale of operational logical relations
F Dagnino, F Gavazzo
FSCD 2022-7th International Conference on Formal Structures for Computation …, 2022
42022
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
32022
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
12022
On Feller Continuity and Full Abstraction (Long Version)
G Barthe, R Crubillé, UD Lago, F Gavazzo
arXiv preprint arXiv:2207.10590, 2022
12022
Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems
F Gavazzo, C Di Florio
arXiv preprint arXiv:2206.13610, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20