Comparing free algebras in topological and classical domain theory

DOI10.1016/j.tcs.2010.01.021zbMath1200.68151OpenAlexW1989171385MaRDI QIDQ964484

Ingo Battenfeld

Publication date: 22 April 2010

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2010.01.021

zbMATH Keywords

denotational semanticsdomain theorycomputational effectstopological domain theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Retracted: Semantic domains for combining probability and non-determinism
• Notions of computation and monads
• CPO's of measures for nondeterminism
• Note on free algebras over continuous domains
• Algebraic operations and generic effects
• Comparing Cartesian closed categories of (core) compactly generated spaces
• A Convenient Category of Domains
• Two preservation results for countable products of sequential spaces
• Data Types as Lattices
• General synthetic domain theory – a logical approach
• A uniform approach to domain theory in realizability models
• Topological and limit-space subcategories of countably-based equilogical spaces
• Continuous Lattices and Domains
• Free topological algebras
• Compactly generated domain theory

This page was built for publication: Comparing free algebras in topological and classical domain theory