A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
From MaRDI portal
Publication:2486012
DOI10.1016/j.ins.2003.06.006zbMath1081.18010MaRDI QIDQ2486012
Publication date: 5 August 2005
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2003.06.006
68Q55: Semantics in the theory of computing
06B35: Continuous lattices and posets, applications
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
Related Items
Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\), Exponentials in a Cartesian closed category which contains all algebraic domains
Cites Work