|
64
|
Solving reflexive domain equations in a category of complete metric spaces
– P America, J J M M Rutten
- 1989
|
|
35
|
Elements of generalized ultrametric domain theory
– J J M M Rutten
|
|
33
|
Quasi uniformities: reconciling domains with metric spaces
– M B Smyth
- 1987
|
|
94
|
Metric spaces, generalized logic, and closed categories
– F William Lawvere
- 1974
|
|
159
|
The Category-theoretic Solution of Recursive Domain Equations
– M Smyth, G D Plotkin
- 1982
|
|
20
|
Continuity spaces: reconciling domains and metric spaces
– B Flagg, R Kopperman
- 1995
|
|
7
|
Solving Domain Equations in a Category of Compact Metric Spaces
– F. Van Breugel, J. Warmerdam, Franck Van Breugel, Jeroen Warmerdam
- 1994
|
|
47
|
On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders
– Jan J. M. M. Rutten , Daniele Turi
- 1998
|
|
15
|
Generalized Ultrametric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding
– M.M. Bonsangue, F. van Breugel, J. J. M. M. Rutten
- 1995
|
|
15
|
The metric closure powerspace construction
– R E Kent
- 1987
|
|
78
|
Processes and the denotational semantics of concurrency
– J W de Bakker, J I Zucker
- 1982
|
|
35
|
Totally Bounded Spaces and Compact Ordered Spaces as Domains of Computation, from
– M Smyth
- 1991
|
|
7
|
Solutions of Functorial and Non-Functorial Metric Domain Equations
– F. Alessi, P. Baldan, G. Belle, J. J. M. M. Rutten
- 1995
|
|
5
|
Quantales and continuity spaces. Algebra Universalis
– R C Flagg
- 1997
|
|
14
|
Completeness of quasi-uniform and syntopological spaces
– M. B. Smyth
- 1994
|
|
30
|
Partial metric topology
– S G Matthews
- 1992
|
|
316
|
BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
– G. M. Kelly
- 2005
|
|
402
|
Domain Theory
– Samson Abramsky, Achim Jung
- 1994
|
|
304
|
A Compendium of Continuous Lattices
– G Gierz, K H Hofmann, K Keimel, J D Lawson, M W Mislove, D S Scott
- 1980
|
