scientific article; zbMATH DE number 3986621

zbMATH Open0609.68015MaRDI QIDQ3750109FDOQ3750109

Authors: Tsutomu Kamimura, Adrian Tang 

Publication date: 1986

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

Recommendations

• The largest Cartesian closed category of domains
• The largest Cartesian closed category of domains, considered constructively
• scientific article; zbMATH DE number 742722
• scientific article
• Retraction map categories and their applications to the construction of lambda calculus models

zbMATH Keywords

parallelismbounded nondeterminismpowerdomainalgebraic cpo'scartesian closed category of continuous posetscategory of retractsorder theoretic semantics

Mathematics Subject Classification ID

Partial orders, general (06A06) Specification and verification (program logics, model checking, etc.) (68Q60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cited In (8)

• A quick construction of a retraction of all retractions for stable bifinites
• A category of compositional domain-models for separable Stone spaces.
• All Cartesian closed categories of quasicontinuous domains consist of domains
• Down closed-quasi-injectivity of partially ordered acts
• On retracts of Cartesian products of finite posets
• The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
• Title not available (Why is that?)
• Some economic applications of Scott 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 Q3750109)