The dependent product construction in various categories of domains

DOI10.1016/0304-3975(91)90338-3MaRDI QIDQ2644752zbMATH OpenOpenAlexFDO

Authors Achim Jung

Publication date 1991

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90338-3

zbMATH Keywords

algebraic L-domainsbifinite domainscontinuous functorcontinuous sectionscountably based Scott domainsGrothendieck fibration

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1829710
• A categorical generalization of Scott domains
• scientific article; zbMATH DE number 3995944
• scientific article; zbMATH DE number 742722
• scientific article; zbMATH DE number 517038

Cites work

• Domain theoretic models of polymorphism
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• Universal profinite domains

This page was built for publication: The dependent product construction in various categories of domains

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