Quasi-prime algebraic domains

DOI10.1016/0304-3975(95)00133-6MaRDI QIDQ672133zbMATH 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)00133-6

zbMATH Keywords

denotational semantics of programming languagesdenotational semantics on quasi-prime algebraic domaindomain equations in quasi-prime algebraic domainirreducible information systemssymmetric monoidal closed category of quasi-prime algebraic domainsun-typed lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Quasi \(Z\)-algebraic domains
• Quantitative domains and infinitary algebras
• scientific article; zbMATH DE number 3915610
• Finite Axiomatizations for Universal Domains
• scientific article; zbMATH DE number 3881863

Cites work

• scientific article; zbMATH DE number 1678365 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 730303 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• *-Autonomous categories and linear logic
• A maximal monoidal closed category of distributive algebraic domains
• Categorical combinators
• Concrete domains
• Linear domains and linear maps
• Linear logic
• Petri nets, event structures and domains. I
• Some monoidal closed categories of stable domains and event structures
• Stable neighbourhoods
• The largest cartesian closed category of stable domains
• UNIVERSAL INFORMATION SYSTEMS
• Universal domains and the amalgamation property
• Using information systems to solve recursive domain equations
• \(dI\)--domains as prime information systems

Cited in

(7)

• Quantitative domains and infinitary algebras
• Prime algebraicity
• scientific article; zbMATH DE number 1854043 (Why is no real title available?)
• The largest cartesian closed category of stable domains
• \(dI\)--domains as prime information systems
• A decomposition theorem for domains
• Normal forms, linearity, and prime algebraicity over nonflat domains

This page was built for publication: Quasi-prime algebraic domains

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