Solving Recursive Domain Equations with Enriched Categories (1994)

Cached

Download Links

by Kim Ritter Wagner , Stephen Brookes , John C. Reynolds
Citations:21 - 0 self

Documents Related by Co-Citation

37 Elements of generalized ultrametric domain theory – J J M M Rutten - 1995
68 Solving reflexive domain equations in a category of complete metric spaces – P America, J J M M Rutten - 1989
113 Metric spaces, generalized logic and closed categories. Rendiconti del Seminario Matematico e Fisico di – W Lawvere - 1973
169 The category-theoretic solution of recursive domain equations – M B Smyth, G D Plotkin - 1982
33 Quasi uniformities: reconciling domains with metric spaces – M B Smyth - 1987
20 Continuity spaces: reconciling domains and metric spaces – B Flagg, R Kopperman - 1995
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
7 Solving Domain Equations in a Category of Compact Metric Spaces – F. Van Breugel, J. Warmerdam, Franck Van Breugel, Jeroen Warmerdam - 1994
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
79 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
48 Recursion over realizability structures – R Amadio - 1991
62 A Per Model of Polymorphism and Recursive Types – M. Abadi, G. D. Plotkin - 1990
99 Relational Properties of Domains – Andrew M. Pitts - 1996
5 Quantales and continuity spaces. Algebra Universalis – R C Flagg - 1997
14 Completeness of quasi-uniform and syntopological spaces – M. B. Smyth - 1994