We extend the free cornering of a symmetric monoidal category, a double
...
There are several ways to define program equivalence for functional prog...
In order to reason about effects, we can define quantitative formulas to...
The paper investigates behavioural equivalence between programs in a
cal...
share