scientific article; zbMATH DE number 517038
From MaRDI portal
Publication:4282566
zbMath0792.18005MaRDI QIDQ4282566
Publication date: 21 July 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Preorders, orders, domains and lattices (viewed as categories) (18B35)
Related Items (9)
On the largest Cartesian closed category of stable domains. ⋮ \(\mathbb T^\omega\) as a stable universal domain. ⋮ Stable power domains ⋮ Stone duality and representation of stable domain ⋮ A stable universal domain related to ω ⋮ The largest cartesian closed category of stable domains ⋮ On the largest Cartesian closed category of stable domains ⋮ A partial solution to an open problem of Amadio and Curien ⋮ On functions preserving levels of approximation: A refined model construction for various lambda calculi
This page was built for publication:
