Pages that link to "Item:Q2921115"
From MaRDI portal
The following pages link to Observationally-induced algebras in domain theory (Q2921115):
Displaying 8 items.
- Observationally-induced algebras in domain theory (Q276418) (← links)
- Comparing free algebras in topological and classical domain theory (Q964484) (← links)
- Non-deterministic effects in a realizability model (Q2130600) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- Observationally-induced Effects in Cartesian Closed Categories (Q3178272) (← links)
- (Q3707383) (← links)
- (Q5020616) (← links)
- Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions (Q5739353) (← links)