research
∙
05/26/2023
Protocol Choice and Iteration for the Free Cornering
We extend the free cornering of a symmetric monoidal category, a double ...
share
research
∙
05/01/2020
From Equations to Distinctions: Two Interpretations of Effectful Computations
There are several ways to define program equivalence for functional prog...
research
∙
04/26/2019
Quantitative Logics for Equivalence of Effectful Programs
In order to reason about effects, we can define quantitative formulas to...
research
∙
04/18/2019