Comparing free algebras in topological and classical domain theory
type: Item
instance of: scholarly article
title: Comparing free algebras in topological and classical domain theory
zbMATH Open document ID: 1200.68151
author: Ingo Battenfeld
published in: Theoretical Computer Science
publication date: 2010-04-22T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5697020
zbMATH Keywords: domain theory
zbMATH Keywords: denotational semantics
zbMATH Keywords: computational effects
zbMATH Keywords: topological domain theory
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.01.021
OpenAlex ID: W1989171385
cites work: Q4843177
cites work: Q3682648
cites work: Computational effects in topological domain theory
cites work: Compactly generated domain theory
cites work: A convenient category of domains
cites work: Comparing Cartesian closed categories of (core) compactly generated spaces
cites work: Continuous Lattices and Domains
cites work: Q3787450
cites work: Q4954447
cites work: Q3671978
cites work: Q4222969
cites work: Note on free algebras over continuous domains
cites work: Q4175455
cites work: A uniform approach to domain theory in realizability models
cites work: Free topological algebras
cites work: Topological and limit-space subcategories of countably-based equilogical spaces
cites work: Q3202991
cites work: Notions of computation and monads
cites work: Q4738236
cites work: Algebraic operations and generic effects
cites work: Computational effects and operations: an overview
cites work: Q3485088
cites work: General synthetic domain theory – a logical approach
cites work: CPO's of measures for nondeterminism
cites work: Q4422786
cites work: Probabilistic observations and valuations (extended abstract)
cites work: Two preservation results for countable products of sequential spaces
cites work: Data Types as Lattices
cites work: Q4143774
cites work: Retracted: Semantic domains for combining probability and non-determinism
DOI: 10.1016/J.TCS.2010.01.021
description: scientific article; zbMATH DE number 5697020