Comparing free algebras in topological and classical domain theory

DOI10.1016/J.TCS.2010.01.021zbMATH Open1200.68151OpenAlexW1989171385MaRDI QIDQ964484FDOQ964484

Authors: 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

Recommendations

• Computational effects in topological domain theory
• Comparing approaches to free dcpo-algebra constructions
• Observationally-induced algebras in domain theory
• Observationally-induced algebras in domain theory
• Observationally-induced effect monads: upper and lower powerspace constructions

zbMATH Keywords

computational effectsdenotational semanticsdomain theorytopological domain theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Algebraic operations and generic effects
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Notions of computation and monads
• Computational effects and operations: an overview
• Probabilistic observations and valuations (extended abstract)
• Title not available (Why is that?)
• Retracted: Semantic domains for combining probability and non-determinism
• Data Types as Lattices
• Comparing Cartesian closed categories of (core) compactly generated spaces
• A convenient category of domains
• A uniform approach to domain theory in realizability models
• Topological and limit-space subcategories of countably-based equilogical spaces
• Compactly generated domain theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• General synthetic domain theory – a logical approach
• Computational effects in topological domain theory
• Title not available (Why is that?)
• CPO's of measures for nondeterminism
• Title not available (Why is that?)
• Free topological algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Note on free algebras over continuous domains
• Two preservation results for countable products of sequential spaces
• Title not available (Why is that?)

Cited In (2)

• Computational effects in topological domain theory
• Comparing approaches to free dcpo-algebra constructions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q964484)