The largest Cartesian closed category of domains, considered constructively

DOI10.1017/S0960129504004591MaRDI QIDQ4675770zbMATH OpenFDO

Authors Dieter Spreen

Publication date 6 May 2005

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129504004591

zbMATH Keywords

\(\omega\)-algebraic cpoCartesian closed category of domainscomplete partial orderscompleteness testconstructive domainseffective SFP domaineffectively given domainseffectively strongly algebraic cpo

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• The largest Cartesian closed category of domains
• Cartesian closed categories of algebraic cpos
• scientific article; zbMATH DE number 1829710
• On the largest Cartesian closed category of stable domains.
• On the largest Cartesian closed category of stable domains

Cited in

(3)

• On the largest Cartesian closed category of stable domains.
• scientific article; zbMATH DE number 3986621 (Why is no real title available?)
• The largest Cartesian closed category of domains

This page was built for publication: The largest Cartesian closed category of domains, considered constructively

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4675770)