Seuraa
Achim Jung
Achim Jung
Professor of Computer Science, University of Birmingham, UK
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.bham.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Domain theory
S Abramsky, A Jung
Handbook of Logic in Computer Science 3, 1-168, 1994
17251994
Cartesian closed categories of domains
A Jung
CWI Tracts 66, 1-110, 1989
2871989
Using powerdomains to generalize relational databases
P Buneman, A Jung, A Ohori
Theoretical Computer Science 91 (1), 23-55, 1991
1621991
The troublesome probabilistic powerdomain
A Jung, R Tix
Electronic Notes in Theoretical Computer Science 13, 70-91, 1998
1461998
A new characterization of lambda definability
A Jung, J Tiuryn
International Conference on Typed Lambda Calculi and Applications, 245-257, 1993
1241993
The classification of continuous domains
A Jung
Logic in Computer Science, 1990. LICS'90, Proceedings., Fifth Annual IEEE …, 1990
1091990
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
75*1996
Stably compact spaces and the probabilistic powerspace construction
A Jung
Electronic Notes in Theoretical Computer Science 87, 5-20, 2004
742004
Four-valued modal logic: Kripke semantics and duality
U Rivieccio, A Jung, R Jansana
Journal of Logic and Computation 27 (1), 155-199, 2017
632017
On the duality of compact vs. open
A Jung, P Sünderhauf
ANNALS-NEW YORK ACADEMY OF SCIENCES 806, 214-230, 1996
571996
Cartesian closed categories of algebraic cpos
A Jung
Theoretical Computer Science 70 (2), 233-250, 1990
571990
Multi lingual sequent calculus and coherent spaces
A Jung, M Kegelmann, MA Moshier
Fundamenta Informaticae 37 (4), 369-412, 1999
561999
On the bitopological nature of Stone duality
A Jung, MA Moshier
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS 13, 110 pages, 2006
552006
The probabilistic powerdomain for stably compact spaces
M Alvarez-Manilla, A Jung, K Keimel
Theoretical Computer Science 328 (3), 221-244, 2004
512004
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
421993
Stably compact spaces and closed relations
A Jung, M Kegelmann, MA Moshier
Electronic Notes in Theoretical Computer Science 45, 209-231, 2001
392001
A note on coherence of dcpos
X Jia, A Jung, Q Li
Topology and its Applications 209, 235-238, 2016
382016
Kripke semantics for modal bilattice logic
A Jung, U Rivieccio
Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer …, 2013
382013
Diagrammatic Semantics for Digital Circuits
DR Ghica, A Jung, A Lopez
arXiv preprint arXiv:1703.10247, 2017
352017
Categorical semantics of digital circuits
DR Ghica, A Jung
Proceedings of the 16th Conference on Formal Methods in Computer-Aided …, 2016
332016
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20