3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 3 cited
Observationally-induced algebras in Domain Theory
Ingo Battenfeld, Klaus Keimel, Thomas Streicher
In this paper we revise and simplify the notion of observationally induced algebra introduced by Simpson and Schroeder for the purpose of modelling computational effects in the par…
cs.LO2010★ 1 cited
A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract)
Ingo Battenfeld
Given a measurable space (X, M) there is a (Galois) connection between sub-sigma-algebras of M and equivalence relations on X. On the other hand equivalence relations on X are clos…