Jung, Achim - School of Computer Science, University of Birmingham

• Using Powerdomains to Generalize Relational Databases \Lambda Peter Buneman
• Quantitative Continuous Domains Pawe Waszkiewicz
• The probabilistic powerdomain for stably compact spaces Mauricio AlvarezManilla Achim Jung y Klaus Keimel z
• A Note on Heckmann's Probabilistic Power Achim Jung \Lambda
• The Troublesome Probabilistic Powerdomain Achim Jung Regina Tix
• Electronic Notes in Theoretical Computer Science 87 (2004) URL: http://www.elsevier.nl/locate/entcs/volume87.html 15 pages
• Domains and Denotational Semantics: History, Accomplishments and Open Problems
• Electronic Notes in Theoretical Computer Science 87 (2004) URL: http://www.elsevier.nl/locate/entcs/volume87.html 15 pages
• A Logical Approach to Stable Domains Yi-Xiang Chen
• The Strength of the CCITT/ISO Hash Fachbereich Mathematik
• On the bitopological nature of Stone duality M. Andrew Moshier
• Decomposition of Domains Achim Jung Leonid Libkin Hermann Puhlmann \Lambda
• Cartesian Closed Categories of Domains Vom Fachbereich Mathematik
• Studying the Fully Abstract Model of PCF within its Continuous Function Model
• An introduction to Edalat's theory of R-integration
• Domain Theory Corrected and expanded version
• Die SnackPotenzkonstruktion: Grundlage einer Semantik
• A short introduction to the Lambda Calculus Achim Jung #
• Uniform Approximation of Topological Spaces Achim Jung \Lambda Philipp Sunderhauf y
• Lawsoncompactness for the Probabilistic Powerdomain
• Presenting dcpos and dcpo algebras # Achim Jung + M. Andrew Moshier # Steve Vickers
• Electronic Notes in Theoretical Computer Science 1 (1995) URL: http://www.elsevier.nl/locate/entcs/volume1.html 21 pages
• Under consideration for publication in Math. Struct. in Comp. Science Linear Types and Approximation
• Priestley duality for strong proximity lattices Mohamed A. El-Zawawy 1
• A Logic for Probabilities in Semantics M. Andrew Moshier Achim Jung y
• SEMANTIC SPACES IN PRIESTLEY FORM
• A short introduction to the Lambda Calculus March 18, 2004
• A Hofmann-Mislove theorem for bitopological M. Andrew Moshier
• Domain Theory Corrected and expanded version
• An introduction to Edalat's theory of R-integration
• Conference 2009 Discussion Groups Discussion groups are planned for later today. There is a sign-up sheet in the atrium. Please
• A Hofmann-Mislove theorem for bitopological M. Andrew Moshier
• The Classification of Continuous Domains \Lambda Extended Abstract
• Models of Linear Polymorphism Paola Maneggia
• A thesis submitted to The University of Birmingham
• New Interactions between Analysis, Topology, and Computation
• MFPS 17 Preliminary Version Stably Compact Spaces and Closed Relations
• Cartesian Closed Categories of Domains Vom Fachbereich Mathematik
• Presenting dcpos and dcpo algebras M. Andrew Moshier
• Presenting dcpos and dcpo algebras M. Andrew Moshier
• ManyValued Real Functions Computable by Finite Transducers
• Priestley duality for strong proximity lattices Mohamed A. El-Zawawy 1 Achim Jung 2
• Continuous Domains in Logical Form
• The probabilistic powerdomain for stably compact spaces Mauricio Alvarez-Manilla
• Mathematical Structures Theory of Programming Languages
• Fundamenta Informaticae XX (1999) 1--42 1 Multi Lingual Sequent Calculus and Coherent Spaces
• On the Duality of Compact vs. Open University of Birmingham
• A Logical Approach to Stable Domains Yi-Xiang Chen Achim Jung y
• A Hofmann-Mislove theorem for bitopological M. Andrew Moshier
• A HofmannMislove theorem for bitopological Achim Jung + M. Andrew Moshier #
• A HofmannMislove theorem for bitopological Achim Jung # M. Andrew Moshier +
• Computer Science 50th Anniversary Thursday, November 12th, 2009
• A New Characterization of Lambda Definability Achim Jung 1 and Jerzy Tiuryn ?2