Ingo Battenfeld

According to our database, Ingo Battenfeld authored at least 12 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Observationally-induced lower and upper powerspace constructions.

Ingo Battenfeld, Matthias Schröder

J. Log. Algebraic Methods Program., 2015

2014

Observationally-induced algebras in Domain Theory.

Ingo Battenfeld, Klaus Keimel, Thomas Streicher

Log. Methods Comput. Sci., 2014

2013

Comparing approaches to free dcpo-algebra constructions.

Ingo Battenfeld

J. Log. Algebraic Methods Program., 2013

Observationally-induced Algebras in Domain Theory.

Ingo Battenfeld

Proceedings of the 6th International Symposium on Domain Theory and Its Applications, 2013

2012

Observationally-induced Effects in Cartesian Closed Categories.

Ingo Battenfeld

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2011

Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions.

Ingo Battenfeld, Matthias Schröder

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

2010

Comparing free algebras in Topological and Classical Domain Theory.

Ingo Battenfeld

Theor. Comput. Sci., 2010

A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract)

Ingo Battenfeld

Proceedings of the Proceedings Seventh International Conference on Computability and Complexity in Analysis, 2010

2008

Topological domain theory.

Ingo Battenfeld

PhD thesis, 2008

2007

A Convenient Category of Domains.

Ingo Battenfeld, Matthias Schröder, Alex Simpson

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

2006

Compactly generated domain theory.

Ingo Battenfeld, Matthias Schröder, Alex Simpson

Math. Struct. Comput. Sci., 2006

Computational Effects in Topological Domain Theory.

Ingo Battenfeld

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006