scientific article; zbMATH DE number 4063163

zbMATH Open0652.06007MaRDI QIDQ3797244FDOQ3797244

Authors: Achim Jung 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

semanticsScott-topologyScott-continuous functionsalgebraic cpoCartesian closed category of domainsSmyth's Theorem

Mathematics Subject Classification ID

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

Cited In (10)

• Title not available (Why is that?)
• Function spaces from Lawson compact continuous domains to continuous B-domains
• The largest Cartesian closed category of domains
• Title not available (Why is that?)
• Spectral sets
• A new grid structure for domain extension
• Natural non-dcpo domains and f-spaces
• A note on the algebraicity of domain function spaces
• Cartesian closed categories of algebraic cpos
• A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous 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)