Ingo Battenfeld

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A domain-theoretic investigation of posets of sub-\(\sigma\)-algebras (extended abstract)	2021-02-16	Paper
Observationally-induced effect monads: upper and lower powerspace constructions Electronic Notes in Theoretical Computer Science	2016-07-15	Paper
Observationally-induced effects in Cartesian closed categories Electronic Notes in Theoretical Computer Science	2016-07-08	Paper
Observationally-induced algebras in domain theory	2016-05-03	Paper
Observationally-induced lower and upper powerspace constructions Journal of Logical and Algebraic Methods in Programming	2015-08-21	Paper
Observationally-induced algebras in domain theory Logical Methods in Computer Science	2014-09-30	Paper
A convenient category of domains Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Computational effects in topological domain theory	2013-10-10	Paper
Comparing approaches to free dcpo-algebra constructions The Journal of Logic and Algebraic Programming	2013-01-18	Paper
Comparing free algebras in topological and classical domain theory Theoretical Computer Science	2010-04-22	Paper
Compactly generated domain theory Mathematical Structures in Computer Science	2006-08-10	Paper

Research outcomes over time

This page was built for person: Ingo Battenfeld