The following pages link to (Q5856417):
Displayed 4 items.
- Catoids and modal convolution algebras (Q2686581) (← links)
- Effect algebras, Girard quantales and complementation in separation logic (Q2695344) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- Convolution and concurrency (Q5084483) (← links)