TU Darmstadt
ULB
TUbiblio
Browse by Person
Up a level |
Number of items: 4.
Manilla, Mauricio Alvarez ; Jung, Achim ; Keimel, Klaus (2004)
The probabilistic powerdomain for stably compact spaces.
In: Theoretical Computer Science, 328
Article, Bibliographie
Huth, Michael ; Jung, Achim ; Keimel, Klaus (2000)
Linear types, approximation, and topology.
In: Mathematical structures in computer science, 10
Article, 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
Article, Bibliographie
Abramsky, Samson ; Jung, Achim (1994)
Domain theory.
In: Semantic structures
Book Section, Bibliographie