scientific article
From MaRDI portal
Publication:3797244
zbMath0652.06007MaRDI QIDQ3797244
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semanticsScott-topologyScott-continuous functionsalgebraic cpoCartesian closed category of domainsSmyth's Theorem
Specification and verification (program logics, model checking, etc.) (68Q60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Topological lattices (06B30) Theory of computing (68Q99)
Related Items
Spectral sets ⋮ A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains ⋮ Cartesian closed categories of algebraic cpos
