Achim Jung

Colleges, School and Institutes

Computer Science

Willingness to take PhD students

Yes

PhD projects

Achim Jung’s research interests include domain theory, denotational semantics of programming languages, lambda calculus, topology, cryptography and computer science education.

View graph of relations

Most downloaded publications

All cartesian closed categories of quasicontinuous domains consist of domains

Achim Jung, 23 Aug 2015, In: Theoretical Computer Science. 594, p. 143-150 9 p.

Research output: Contribution to journal › Article › peer-review

190 downloads

Preface for the special issue on domains

Achim Jung, 1 Apr 2010, In: Mathematical Structures in Computer Science. 20, 2, p. 105-106 2 p.

Research output: Contribution to journal › Editorial

133 downloads

On a categorical framework for coalgebraic modal logic

Achim Jung, 29 Oct 2014, In: Electronic Notes in Theoretical Computer Science. 308, p. 109-128

Research output: Contribution to journal › Article › peer-review

127 downloads

Bitopology and four-valued logic

Achim Jung, 7 Oct 2016, 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings. Birkedal, L. & Mislove, M. (eds.). Elsevier, Vol. 325. p. 201-219 18 p. (Electronic Notes in Theoretical Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

127 downloads

Four-valued modal logic: Kripke semantics and duality

Umberto Rivieccio, Achim Jung, 15 Jun 2015, In: Journal of Logic and Computation. 43 p.

Research output: Contribution to journal › Article › peer-review

119 downloads