The following pages link to Ingo Battenfeld (Q276417):
Displayed 11 items.
- Observationally-induced algebras in domain theory (Q276418) (← links)
- Observationally-induced lower and upper powerspace constructions (Q492906) (← links)
- Comparing free algebras in topological and classical domain theory (Q964484) (← links)
- Comparing approaches to free dcpo-algebra constructions (Q1932346) (← links)
- (Q2851317) (← links)
- A Convenient Category of Domains (Q2864147) (← links)
- Observationally-induced algebras in Domain Theory (Q2921115) (← links)
- Observationally-induced Effects in Cartesian Closed Categories (Q3178272) (← links)
- (Q5150972) (← links)
- Compactly generated domain theory (Q5481587) (← links)
- Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions (Q5739353) (← links)