Achim Jung
Achim Jung
Professor of Computer Science, University of Birmingham, UK
E-mail confirmado em cs.bham.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
Domain theory
S Abramsky, A Jung
Handbook of Logic in Computer Science 3, 1-168, 1994
15181994
Cartesian closed categories of domains
A Jung
CWI Tracts 66, 1-110, 1989
2641989
Using powerdomains to generalize relational databases
P Buneman, A Jung, A Ohori
Theoretical Computer Science 91 (1), 23-55, 1991
1541991
The troublesome probabilistic powerdomain
A Jung, R Tix
Electronic Notes in Theoretical Computer Science 13, 70-91, 1998
1201998
A new characterization of lambda definability
A Jung, J Tiuryn
International Conference on Typed Lambda Calculi and Applications, 245-257, 1993
1021993
The classification of continuous domains
A Jung
Logic in Computer Science, 1990. LICS'90, Proceedings., Fifth Annual IEEE …, 1990
1011990
Domains and Denotational Semantics: History, Accomplishments and Open Problems
MP Fiore, A Jung, E Moggi, P O'Hearn, J Riecke, G Rosolini, I Stark
Bulletin of EATCS 59, 227-256, 1996
72*1996
Stably compact spaces and the probabilistic powerspace construction
A Jung
Electronic Notes in Theoretical Computer Science 87, 5-20, 2004
612004
On the duality of compact vs. open
A Jung, P Sünderhauf
ANNALS-NEW YORK ACADEMY OF SCIENCES 806, 214-230, 1996
491996
On the bitopological nature of Stone duality
A Jung, MA Moshier
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS 13, 110 pages, 2006
482006
Cartesian closed categories of algebraic cpos
A Jung
Theoretical Computer Science 70 (2), 233-250, 1990
471990
Coherence and consistency in domains
CA Gunter, A Jung
Journal of Pure and Applied Algebra 63 (1), 49-66, 1990
45*1990
Coherence and consistency in domains
DA Gunter, A Jung
Logic in Computer Science, 1988. LICS'88., Proceedings of the Third Annual …, 0
45*
Multi lingual sequent calculus and coherent spaces
A Jung, M Kegelmann, MA Moshier
Fundamenta Informaticae 37 (4), 369-412, 1999
411999
The probabilistic powerdomain for stably compact spaces
M Alvarez-Manilla, A Jung, K Keimel
Theoretical Computer Science 328 (3), 221-244, 2004
402004
Studying the fully abstract model of PCF within its continuous function model
A Jung, A Stoughton
International Conference on Typed Lambda Calculi and Applications, 230-244, 1993
341993
Kripke semantics for modal bilattice logic
A Jung, U Rivieccio
Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer …, 2013
292013
Presenting dcpos and dcpo algebras
A Jung, MA Moshier, S Vickers
Electronic Notes in Theoretical Computer Science 218, 209-229, 2008
292008
Four-valued modal logic: Kripke semantics and duality
U Rivieccio, A Jung, R Jansana
Journal of Logic and Computation 27 (1), 155-199, 2017
282017
Stably compact spaces and closed relations
A Jung, M Kegelmann, MA Moshier
Electronic Notes in Theoretical Computer Science 45, 209-231, 2001
282001
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20