Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions (Q5739353)
From MaRDI portal
scientific article; zbMATH DE number 6603848
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions |
scientific article; zbMATH DE number 6603848 |
Statements
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions (English)
0 references
15 July 2016
0 references
denotational semantics
0 references
computational effects
0 references
powerdomains
0 references
domain theory
0 references
topology
0 references
