The largest cartesian closed category of stable domains

DOI10.1016/0304-3975(95)00191-3MaRDI QIDQ671652zbMATH OpenOpenAlexFDO

Authors Juan-Miguel Gracia

Publication date 27 February 1997

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• On stable domains
• On the largest Cartesian closed category of stable domains
• On the largest Cartesian closed category of stable domains.
• The largest Cartesian closed category of domains

Cites work

• scientific article; zbMATH DE number 4050971 (Why is no real title available?)
• scientific article; zbMATH DE number 3653565 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 517037 (Why is no real title available?)
• scientific article; zbMATH DE number 517038 (Why is no real title available?)
• scientific article; zbMATH DE number 730303 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 4118557 (Why is no real title available?)
• scientific article; zbMATH DE number 234028 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• A Powerdomain Construction
• A maximal monoidal closed category of distributive algebraic domains
• Cartesian closed categories of algebraic cpos
• Event structures and domains
• Linear logic
• On stable domains
• Quasi-prime algebraic domains
• Some monoidal closed categories of stable domains and event structures
• The largest Cartesian closed category of domains
• Universal quasi-prime algebraic domains
• \(dI\)--domains as prime information systems

Cited in

(10)

• \(\mathbb T^\omega\) as a stable universal domain.
• On the largest Cartesian closed category of stable domains.
• A partial solution to an open problem of Amadio and Curien
• On the largest Cartesian closed category of stable domains
• On stable domains
• A stable universal domain related to \(\mathbb{T}^{\omega}\)
• Domains via graphs
• Cartesian closed stable categories
• Cartesian closed categories of \(F\mathcal Z\)-domains
• Quasi-prime algebraic domains

This page was built for publication: The largest cartesian closed category of stable domains

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