Quasi-prime algebraic domains
type: Item
instance of: scholarly article
title: Quasi-prime algebraic domains
zbMATH Open document ID: 0873.68132
DOI: 10.1016/0304-3975(95)00133-6
author: Juan-Miguel Gracia
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 984813
zbMATH Keywords: denotational semantics of programming languages
zbMATH Keywords: denotational semantics on quasi-prime algebraic domain
zbMATH Keywords: irreducible information systems
zbMATH Keywords: symmetric monoidal closed category of quasi-prime algebraic domains
zbMATH Keywords: domain equations in quasi-prime algebraic domain
zbMATH Keywords: un-typed lambda calculus
MaRDI profile type: MaRDI publication profile
full work available at URL: 0304-3975(95)00133-6
OpenAlex ID: W2093209788
cites work: *-Autonomous categories and linear logic
cites work: Categorical combinators
cites work: UNIVERSAL INFORMATION SYSTEMS
cites work: Universal domains and the amalgamation property
cites work: Q3898534
cites work: Linear logic
cites work: Q2757813
cites work: Linear domains and linear maps
cites work: A maximal monoidal closed category of distributive algebraic domains
cites work: Concrete domains
cites work: Using information systems to solve recursive domain equations
cites work: Q5639839
cites work: Petri nets, event structures and domains. I
cites work: Q3959414
cites work: Q3827993
cites work: Q4325268
cites work: \(dI\)--domains as prime information systems
cites work: Stable neighbourhoods
cites work: Some monoidal closed categories of stable domains and event structures
cites work: The largest cartesian closed category of stable domains
Recommended article: Quasi \(Z\)-algebraic domains
Recommended article: Quantitative domains and infinitary algebras
Recommended article: Q3691052
Recommended article: Finite Axiomatizations for Universal Domains
Recommended article: Q3216122
description: scientific article; zbMATH DE number 984813