Achim Jung

Umberto Rivieccio

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Continuous Domain Theory in Logical Form.

[BibT_eX]

[DOI]

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Priestley Duality for Bilattices.

[BibT_eX]

[DOI]

Umberto Rivieccio

Stud Logica, 2012

Dedication.

[BibT_eX]

[DOI]

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2010

Preface for the special issue on domains.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2010

2009

Preface.

[BibT_eX]

[DOI]

Yixiang Chen

Ernst-Erich Doberkat

Proceedings of the Fifth International Symposium on Domain Theory, 2009

2008

A Hofmann-Mislove theorem for bitopological spaces.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2008

Presenting Dcpos and Dcpo Algebras.

[BibT_eX]

[DOI]

Steven J. Vickers

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2006

A logical approach to stable domains.

[BibT_eX]

[DOI]

Yi-Xiang Chen

Theor. Comput. Sci., 2006

Preface.

[BibT_eX]

[DOI]

Thomas Streicher

Math. Struct. Comput. Sci., 2006

Priestley Duality for Strong Proximity Lattices.

[BibT_eX]

[DOI]

Mohamed A. El-Zawawy

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

2005

Preface.

[BibT_eX]

[DOI]

Michael W. Mislove

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Auxiliary relations and sandwich theorems.

[BibT_eX]

[DOI]

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

2004

Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott.

[BibT_eX]

[DOI]

Lars Birkedal

Giuseppe Rosolini

Theor. Comput. Sci., 2004

The probabilistic powerdomain for stably compact spaces.

[BibT_eX]

[DOI]

Maurizio Alvarez-Manilla

Klaus Keimel

Theor. Comput. Sci., 2004

Introduction to special issue on domain theory.

[BibT_eX]

[DOI]

Abbas Edalat

Math. Struct. Comput. Sci., 2004

2003

Stably Compact Spaces and the Probabilistic Powerspace construction.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes, 2003

2002

Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002

A Logic for Probabilities in Semantics.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Stably Compact Spaces and Closed Relations.

[BibT_eX]

[DOI]

Mathias Kegelmann

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

2000

Linear types and approximation.

[BibT_eX]

[DOI]

Michael Huth

Klaus Keimel

Math. Struct. Comput. Sci., 2000

1999

Multi Lingual Sequent Calculus and Coherent Spaces.

[BibT_eX]

[DOI]

Mathias Kegelmann

Fundam. Informaticae, 1999

Preface.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

1997

The troublesome probabilistic powerdomain.

[BibT_eX]

[DOI]

Regina Tix

Proceedings of the Third Workshop on Computation and Approximation, 1997

Preface.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Computation and Approximation, 1997

1995

Types, logic and semantics for nested databases.

[BibT_eX]

[DOI]

Hermann Puhlmann

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

1994

Linear Types, Approximation, and Topology

[BibT_eX]

[DOI]

Michael Huth

Klaus Keimel

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993

A New Characterization of Lambda Definability.

[BibT_eX]

[DOI]

Jerzy Tiuryn

Proceedings of the Typed Lambda Calculi and Applications, 1993

Studying the Fully Abstract Model of PCF within its Continuous Function Model.

[BibT_eX]

[DOI]

Allen Stoughton

Proceedings of the Typed Lambda Calculi and Applications, 1993

1991

The Dependent Product Construction in Various Categories of Domains.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

Using Powerdomains to Generalize Relational Databases.

[BibT_eX]

[DOI]

Peter Buneman

Atsushi Ohori

Theor. Comput. Sci., 1991

Decomposition of Domains.

[BibT_eX]

[DOI]

Leonid Libkin

Hermann Puhlmann

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

Cartesian Closed Categories of Algebraic CPOs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

The Classification of Continuous Domains (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1988

Coherence and Consistency in Domains (Extended Outline)

[BibT_eX]

[DOI]

Carl A. Gunter

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1987

Implementing the RSA cryptosystem.

[BibT_eX]

[DOI]

Comput. Secur., 1987

New Results on Hierarchies of Domains.

[BibT_eX]

[DOI]