Comparing free algebras in topological and classical domain theory

DOI10.1016/J.TCS.2010.01.021MaRDI QIDQ964484zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

computational effectsdenotational semanticsdomain theorytopological domain theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 4156799 (Why is no real title available?)
• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 4050957 (Why is no real title available?)
• scientific article; zbMATH DE number 3572729 (Why is no real title available?)
• scientific article; zbMATH DE number 3611598 (Why is no real title available?)
• scientific article; zbMATH DE number 1231645 (Why is no real title available?)
• scientific article; zbMATH DE number 1969324 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 1456958 (Why is no real title available?)
• A convenient category of domains
• A uniform approach to domain theory in realizability models
• Algebraic operations and generic effects
• CPO's of measures for nondeterminism
• Compactly generated domain theory
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Computational effects and operations: an overview
• Computational effects in topological domain theory
• Continuous Lattices and Domains
• Data Types as Lattices
• Free topological algebras
• General synthetic domain theory – a logical approach
• Note on free algebras over continuous domains
• Notions of computation and monads
• Probabilistic observations and valuations (extended abstract)
• Retracted: Semantic domains for combining probability and non-determinism
• Topological and limit-space subcategories of countably-based equilogical spaces
• Two preservation results for countable products of sequential spaces

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)