Manilla, Mauricio Alvarez ; Jung, Achim ; Keimel, Klaus (2004)
The probabilistic powerdomain for stably compact spaces.
In: Theoretical Computer Science, 328
Artikel, Bibliographie

Huth, Michael ; Jung, Achim ; Keimel, Klaus (2000)
Linear types, approximation, and topology.
In: Mathematical structures in computer science, 10
Artikel, Bibliographie

Jung, Achim ; Puhlmann, Hermann (1995)
Types, logic, and semantics for nested databases.
In: Electronic Notes in Theoretical Computer Science, 1
doi: 10.1016/S1571-0661(04)00020-9
Artikel, Bibliographie

Abramsky, Samson ; Jung, Achim (1994)
Domain theory.
In: Semantic structures
Buchkapitel, Bibliographie