113

Metric spaces, generalized logic, and closed categories
–
 1974

37

Elements of generalized ultrametric domain theory
–
 1995

68

Solving reflexive domain equations in a category of complete metric spaces
–
 1989

169

The categorytheoretic solution of recursive domain equations
–
 1982

34

Quasiuniformities: Reconciling domains with metric spaces
–
 1988

20

Continuity spaces: reconciling domains and metric spaces
–
 1995

379

BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
–
 2005

7

Solving Domain Equations in a Category of Compact Metric Spaces
–
 1994

47

On the Foundations of Final Semantics: NonStandard Sets, Metric Spaces, Partial Orders
–
 1998

15

Generalized Ultrametric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding
–
 1995

15

The metric closure powerspace construction
–
 1987

78

J.I.Zucker: Processes and the Denotational Semantics of Concurrency
–
 1982

36

Totally bounded spaces and compact ordered spaces as domains of computation
–
 1991

7

Solutions of Functorial and NonFunctorial Metric Domain Equations
–
 1995

5

Quantales and continuity spaces. Algebra Universalis
–
 1997

14

Completeness of quasiuniform and syntopological spaces
–
 1994

48

Recursion over realizability structures
–
 1991

62

A Per Model of Polymorphism and Recursive Types
–
 1990

99

Relational Properties of Domains
–
 1996
