scientific article; zbMATH DE number 4063163

MaRDI QIDQ3797244zbMATH OpenFDO

Authors Achim Jung

Publication date 1988

zbMATH Keywords

algebraic cpoCartesian closed category of domainsScott-continuous functionsScott-topologysemanticsSmyth's Theorem

Mathematics Subject Classification ID

Topological lattices (06B30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)

Recommendations

• scientific article; zbMATH DE number 48416
• Cartesian closed categories of algebraic cpos
• scientific article; zbMATH DE number 2110611
• scientific article; zbMATH DE number 4083878
• scientific article; zbMATH DE number 1829710

Cited in

(10)

• Natural non-dcpo domains and f-spaces
• Spectral sets
• A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
• A note on the algebraicity of domain function spaces
• Function spaces from Lawson compact continuous domains to continuous B-domains
• scientific article; zbMATH DE number 2110611 (Why is no real title available?)
• A new grid structure for domain extension
• scientific article; zbMATH DE number 5023079 (Why is no real title available?)
• Cartesian closed categories of algebraic cpos
• The largest Cartesian closed category of domains

This page was built for publication:

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