Francesco Gavazzo

Orcid: 0000-0002-2159-0615

Affiliations:
  • University of Pisa, Italy


According to our database1, Francesco Gavazzo authored at least 33 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential.
Log. Methods Comput. Sci., 2024

Monadic Intersection Types, Relationally (Extended Version).
CoRR, 2024

Monadic Intersection Types, Relationally.
Proceedings of the Programming Languages and Systems, 2024

2023
Elements of Quantitative Rewriting.
Proc. ACM Program. Lang., January, 2023

Preface to the special issue on metric and differential semantics.
Math. Struct. Comput. Sci., 2023

Allegories of Symbolic Manipulations.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Open Higher-Order Logic.
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022
A relational theory of effects and coeffects.
Proc. ACM Program. Lang., 2022

Effectful program distancing.
Proc. ACM Program. Lang., 2022

On Feller continuity and full abstraction.
Proc. ACM Program. Lang., 2022

Open Higher-Order Logic (Long Version).
CoRR, 2022

On Feller Continuity and Full Abstraction (Long Version).
CoRR, 2022

Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems.
CoRR, 2022

On Reinforcement Learning, Effect Handlers, and the State Monad.
CoRR, 2022

A Fibrational Tale of Operational Logical Relations.
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021
Differential logical relations, part II increments and derivatives.
Theor. Comput. Sci., 2021

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems.
CoRR, 2021

Modal Reasoning = Metric Reasoning, via Lawvere.
CoRR, 2021

A Relational Theory of Monadic Rewriting Systems, Part I.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs.
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020
Effectful applicative similarity for call-by-name lambda calculi.
Theor. Comput. Sci., 2020

A Diagrammatic Calculus for Algebraic Effects.
CoRR, 2020

On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem.
Proceedings of the Programming Languages and Systems, 2020

2019
Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects. (Equivalences coinductives et métriques pour les langages d'ordre supérieur avec des effets algébriques).
PhD thesis, 2019

On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice.
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

Differential Logical Relations, Part I: The Simply-Typed Case (Long Version).
CoRR, 2019

Coinductive Techniques for Higher-order Languages with Algebraic Effect (text not included).
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Differential Logical Relations, Part I: The Simply-Typed Case.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Effectful Normal Form Bisimulation.
Proceedings of the Programming Languages and Systems, 2019

2018
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version).
CoRR, 2018

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version).
CoRR, 2017

Effectful applicative bisimilarity: Monads, relators, and Howe's method.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017


  Loading...