Observationally-induced Effects in Cartesian Closed Categories (Q3178272)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Observationally-induced Effects in Cartesian Closed Categories |
scientific article |
Statements
Observationally-induced Effects in Cartesian Closed Categories (English)
0 references
8 July 2016
0 references
denotational semantics
0 references
computational effects
0 references
powerdomains
0 references
topological domain theory
0 references
