Pages that link to "Item:Q3178272"
From MaRDI portal
The following pages link to Observationally-induced Effects in Cartesian Closed Categories (Q3178272):
Displaying 6 items.
- Observationally-induced algebras in domain theory (Q276418) (← links)
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- Non-deterministic effects in a realizability model (Q2130600) (← links)
- Computational effects in topological domain theory (Q2851317) (← links)
- Observationally-induced algebras in domain theory (Q2921115) (← links)
- Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions (Q5739353) (← links)