Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Francesco Gavazzo
Researcher
PaperQuantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded SystemsAuthorship / preprint / 2022PaperOn Reinforcement Learning, Effect Handlers, and the State MonadAuthorship / preprint / 2022PaperModal Reasoning = Metric Reasoning, via LawvereAuthorship / preprint / 2021PaperA Diagrammatic Calculus for Algebraic EffectsAuthorship / preprint / 2020PaperOn Feller Continuity and Full Abstraction (Long Version)Authorship / preprint / 2022PaperOn the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment TheoremAuthorship / preprint / 2020