Coherence and consistency in domains
type: Item
instance of: scholarly article
title: Coherence and consistency in domains
zbMATH Open document ID: 0686.68062
DOI: 10.1016/0022-4049(90)90055-M
author: Carl A. Gunter
author: Achim Jung
published in: Journal of Pure and Applied Algebra
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 4125036
zbMATH Keywords: denotational semantics
zbMATH Keywords: coherence
MaRDI profile type: Publication
cites work: Q4160405
cites work: Q3332229
cites work: Model theory.
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Q4385538
cites work: Universal profinite domains
cites work: Q3711309
cites work: Q3812427
cites work: A Powerdomain Construction
cites work: \(\mathbb{T}^\omega\) as a universal domain
cites work: Data Types as Lattices
cites work: Q3960746
cites work: Q3959414
cites work: Q3664454
cites work: The largest Cartesian closed category of domains
cites work: Q5720189
full work available at URL: 0022-4049(90)90055-m
OpenAlex ID: W1983718305
Recommended article: Q5421795
Recommended article: Relative consistency and accessible domains
Recommended article: Coherence and compatibility: a stronger approach
Recommended article: COHERENCE
Recommended article: Domain theory and integration
Recommended article: Coherence for modalities
Recommended article: Coherence and elicitability
Recommended article: Cohesiveness in promise problems
Recommended article: Coherence and the axioms of confirmation
description: scientific article; zbMATH DE number 4125036