Pages that link to "Item:Q2851317"
From MaRDI portal
The following pages link to Computational effects in topological domain theory (Q2851317):
Displaying 11 items.
- Observationally-induced lower and upper powerspace constructions (Q492906) (← links)
- Comparing free algebras in topological and classical domain theory (Q964484) (← links)
- Topology, domain theory and theoretical computer science (Q1295216) (← links)
- Non-deterministic effects in a realizability model (Q2130600) (← links)
- A convenient category of domains (Q2864147) (← links)
- Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
- Observationally-induced Effects in Cartesian Closed Categories (Q3178272) (← links)
- (Q4580318) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions (Q5739353) (← links)
- What should a generic object be? (Q6174093) (← links)