The mixed powerdomain
type: Item
instance of: scholarly article
title: The mixed powerdomain
zbMATH Open document ID: 0764.68092
DOI: 10.1016/0304-3975(92)90017-A
author: Carl A. Gunter
published in: Theoretical Computer Science
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 94463
zbMATH Keywords: mixed powerdomain
zbMATH Keywords: mix algebras
MaRDI profile type: Publication
cites work: Domain theory in logical form
cites work: A semantics for complex objects and approximate answers
cites work: Using powerdomains to generalize relational databases
cites work: Q3785905
cites work: Universal profinite domains
cites work: Coherence and consistency in domains
cites work: Q4385538
cites work: Power domains and second-order predicates
cites work: Q4038660
cites work: Q3997501
cites work: Q3907039
cites work: Q3915037
cites work: Q3965241
cites work: A Powerdomain Construction
cites work: Q3782747
cites work: Power domains
cites work: Q3316563
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Q3994458
cites work: On powerdomains and modality
description: scientific article; zbMATH DE number 94463