The dependent product construction in various categories of domains

DOI10.1016/0304-3975(91)90338-3zbMATH Open0724.18006OpenAlexW2062383809MaRDI QIDQ2644752FDOQ2644752

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

Recommendations

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

zbMATH Keywords

Grothendieck fibrationcontinuous functorbifinite domainscontinuous sectionsalgebraic L-domainscountably based Scott domains

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)

Cites Work

• Title not available (Why is that?)
• Universal profinite domains
• Domain theoretic models of polymorphism

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)