Alvarez-Manilla, Mauricio; Jung, Achim; Keimel, Klaus The probabilistic powerdomain for stably compact spaces. (English) Zbl 1071.68058 Theor. Comput. Sci. 328, No. 3, 221-244 (2004). MSC: 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Huth, Michael; Jung, Achim; Keimel, Klaus Linear types and approximation. (English) Zbl 0982.06007 Math. Struct. Comput. Sci. 10, No. 6, 719-745 (2000). Reviewer: Jiri Rosický (Brno) MSC: 06B35 18D15 × Cite Format Result Cite Review PDF Full Text: DOI
Edalat, Abbas (ed.); Jung, Achim (ed.); Keimel, Klaus (ed.); Kwiatkowska, Marta (ed.) Comprox III. 3rd workshop on Computation and approximation. Birmingham, GB, September 11–13, 1997. (English) Zbl 0903.00069 Electronic Notes in Theoretical Computer Science. 13. Amsterdam: Elsevier, 14 articles (1997). MSC: 00B25 68-06 65-06 × Cite Format Result Cite Review PDF
Huth, Michael (ed.); Jung, Achim (ed.); Keimel, Klaus (ed.) Logic, domains, and programming languages. Proceedings of the international workshop, May 24–27, 1995, Darmstadt, Germany. (English) Zbl 0874.00034 Math. Struct. Comput. Sci. 7, No. 5, 400-618 (1997). MSC: 00B25 03-06 68-06 × Cite Format Result Cite Review PDF