A universal characterization of the double powerlocale
type: Item
instance of: scholarly article
title: A universal characterization of the double powerlocale
zbMATH Open document ID: 1047.06006
author: S. J. Vickers
author: Christopher F. Townsend
published in: Theoretical Computer Science
publication date: 2004-08-04T00:00:00Z
full work available at URL: VicTownUniCharPP.pdf
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 54B20
Mathematics Subject Classification ID: 54C35
Mathematics Subject Classification ID: 54B30
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 18F20
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 2081193
zbMATH Keywords: Powerdomain
zbMATH Keywords: Topos
zbMATH Keywords: Scott continuity
zbMATH Keywords: Locale
MaRDI profile type: Publication
OpenAlex ID: W2023370072
cites work: Quantales, observational logic and process semantics
cites work: Locally cartesian closed exact completions
cites work: The Hoare and Symth power domain constructors commute under composition
cites work: The Semilattice Tensor Product of Distributive Lattices
cites work: Q3942026
cites work: Q3965241
cites work: Q3702938
cites work: Q4828514
cites work: Finiteness and decidability: II
cites work: Q3978977
cites work: An extension of the Galois theory of Grothendieck
cites work: Categories of chain-complete posets
cites work: Q3869981
cites work: A Powerdomain Construction
cites work: Q4868226
cites work: Power domains
cites work: Q4540524
cites work: Q3994458
cites work: Information systems for continuous posets
cites work: Q4870815
cites work: Constructive points of powerlocales
cites work: Topical categories of domains
DOI: 10.1016/J.TCS.2004.01.034
description: scientific article; zbMATH DE number 2081193