Two categories of effective continuous cpos
type: Item
instance of: scholarly article
title: Two categories of effective continuous cpos
zbMATH Open document ID: 1110.03029
author: G. Hamrin
author: Viggo Stoltenberg-Hansen
published in: Theoretical Computer Science
publication date: 2006-12-07T00:00:00Z
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5079013
zbMATH Keywords: domain theory
zbMATH Keywords: Cartesian closure
zbMATH Keywords: effective domains
zbMATH Keywords: effective continuous complete partial orders
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.07.049
OpenAlex ID: W2072645462
cites work: Domain representability of metric spaces
cites work: Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
cites work: Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
cites work: Computability concepts for programming language semantics
cites work: Computable functionals of finite types
cites work: Theorie der Numerierungen I
cites work: The theory of A-spaces
cites work: Q4111546
cites work: Q6161842
cites work: Q4823131
cites work: Q3812427
cites work: Q3997287
cites work: Q5639839
cites work: Bases for Chain-complete Posets
cites work: Q5649639
cites work: A type-theoretical alternative to ISWIM, CUCH, OWHY
cites work: Q4023580
cites work: Complete local rings as domains
cites work: Q4857386
DOI: 10.1016/J.TCS.2006.07.049
description: scientific article; zbMATH DE number 5079013