Publication:3797244
From MaRDI portal
zbMath0652.06007MaRDI QIDQ3797244
Publication date: 1988
semantics; Scott-topology; Scott-continuous functions; algebraic cpo; Cartesian closed category of domains; Smyth's Theorem
68Q60: Specification and verification (program logics, model checking, etc.)
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
06B30: Topological lattices
68Q99: Theory of computing
Related Items
Cartesian closed categories of algebraic cpos, Spectral sets, A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains