research
∙
05/02/2023
Allegories of Symbolic Manipulations
Moving from the mathematical theory of (abstract) syntax, we develop a g...
share
research
∙
03/06/2023
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
Logical relations built on top of an operational semantics are one of th...
research
∙
11/12/2022
Open Higher-Order Logic (Long Version)
We introduce a variation on Barthe et al.'s higher-order logic in which ...
research
∙
07/21/2022
On Feller Continuity and Full Abstraction (Long Version)
We study the nature of applicative bisimilarity in λ-calculi endowed wit...
research
∙
06/27/2022
Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems
We introduce a general theory of quantitative and metric rewriting syste...
research
∙
03/29/2022
On Reinforcement Learning, Effect Handlers, and the State Monad
We study the algebraic effects and handlers as a way to support decision...
research
∙
06/24/2021
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems
We investigate program equivalence for linear higher-order(sequential) l...
research
∙
03/05/2021
Modal Reasoning = Metric Reasoning, via Lawvere
Graded modal types systems and coeffects are becoming a standard formali...
research
∙
02/19/2020
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
Logical relations are one of the most powerful techniques in the theory ...
research
∙
01/05/2020
A Diagrammatic Calculus for Algebraic Effects
We introduce a new, diagrammatic notation for representing the result of...
research
∙
04/27/2019
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
We introduce a new form of logical relation which, in the spirit of metr...
research
∙
01/27/2018