Kim Ritter Wagner  Home/Search
Context Related
| risc.unilinz.ac.at/pub/t...9462.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: math.jussieu.fr....unilinz.ac.at (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: the solution of recursive domain equations in the area of denotational semantics. In both cases the central theorem states that a 'converging' sequence of 'complete' domains/spaces with 'continuous' retraction pairs between them has a limit in the category of complete domains/spaces with retraction pairs as morphisms. The pre-order version was discovered first by Scott in 1969, and is referred to as Scott's inverse limit theorem. The metric version was mainly developed by de Bakker and Zucker... (Update)
Context of citations to this paper: More
...which induces a preorder and hence a category. Lately, there is a growing interest in quasimetric spaces. See, e.g. Wagner s thesis [Wag94] and Flagg and Kopperman s [FK94] The quasimetrics are obtained from the metrics the d omains are endowed with by dropping one half of...
.... Bonsangue, van Breugel and Rutten ( BBR95] Recently, we have been influenced also by the work of Flagg and Kopperman [FK95] and Wagner [Wag94] Generalized ultrametric spaces are a special instance of Lawvere s V categories. The nonsymmetric ultrametric for [0; 1] is also...
Cited by: More
Topology and Computability - Thesis Proposal Andrej (Correct)
Elements Of Generalized Ultrametric Domain Theory - Rutten (1995) (Correct)
Alexandroff and Scott Topologies for Generalized.. - Bonsangue, van.. (Correct)
Similar documents (at the sentence level):
52.3%: Solving Recursive Domain Equations with Enriched Categories - Wagner (1994) (Correct)
Active bibliography (related documents): More All
0.4: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.3: A Denotational Model for Mobile Point-to-Point.. - Grosu, Stølen.. (1997) (Correct)
0.3: Metric Semantics for True Concurrent Real Time - Christel Baier Joost-Pieter (1998) (Correct)
Similar documents based on text: More All
0.4: Developing Theories of Types and Computability - Birkedal (1998) (Correct)
0.4: Solving Recursive Domain Equations in Models of Intuitionistic.. - Simpson (2001) (Correct)
0.4: A Theory of Metric Labelled Transition Systems - van Breugel (1995) (Correct)
Related documents from co-citation: More All
11: Continuity Spaces: Reconciling Domains and Metric Spaces (context) - Flagg, Kopperman
11: Quasi-uniformities: Reconciling domains with metric spaces (context) - Smyth - 1987
9: Solving Reflexive Domain Equations in a Category of Complete Metric Spaces (context) - America, Rutten - 1989
BibTeX entry: (Update)
Wagner, K.R., Solving Recursive Domain Equations with Enriched Categories, Ph.D. Thesis, Carnegie Mellon University, Technical Report CMU-CS-94-159, July 1994. http://citeseer.ist.psu.edu/article/wagner94solving.html More
@techreport{ wagner94solving,
author = "Kim Ritter {WAGNER}",
title = "{Solving Recursive Domain Equations with Enriched Categories}",
number = "94-62",
address = "Johannes Kepler University, Linz, Austria",
year = "1994",
url = "citeseer.ist.psu.edu/article/wagner94solving.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
562 Categories for the Working Mathematician (context) - Lane - 1971
509 Introduction to Lattices and Or- der (context) - Davey, Priestley - 1990
375 Fractals Everywhere (context) - Barnsley - 1988
359 Introduction to Higher Order Categor- ical Logic (context) - Lambek, Scott - 1986
245 A Compendium of Continuous Lattices (context) - Gierz, Hofmann et al. - 1980
214 An ideal model for recur- sive polymorphic types (context) - MacQueen, Plotkin et al. - 1984
162 Data types as lattices (context) - Scott - 1976
156 Basic Concepts of Enriched Category Theory (context) - Kelly - 1982
152 Semantics of Programming Languages (context) - Gunter - 1992
146 A powerdomain construction (context) - Plotkin - 1976
125 Outline of a mathematical theory of computation (context) - Scott - 1970
109 Continuous lattices (context) - Scott - 1972
83 Sheaves in Geometry and Logic (context) - Lane, Moerdijk - 1992
83 Topos Theory (context) - Johnstone - 1977
76 Toward a mathematical semantics for computer languages (context) - Scott, Strachey - 1971
72 Journal of Computer and System Sciences (context) - Smyth - 1978
58 Algebraically complete categories (context) - Freyd - 1991
50 General Topology (context) - Willard - 1970
47 Constructivism in Mathemat- ics - An Introduction (context) - Troelstra, van Dalen - 1988
43 Elements of Mathematics (context) - Bourbaki - 1989
43 Identity and existence in intuitionistic logic (context) - Scott - 1977
40 Solving reflexive domain equa- tions in a category of comple.. (context) - America, Rutten - 1989
39 Totally bounded spaces and compact ordered spaces as domains.. (context) - Smyth - 1989
39 Closed categories (context) - Eilenberg, Kelly - 1966
36 Remarks on algebraically compact categories (context) - Freyd - 1992
35 Quasi-uniformities: reconciling domains with metric spaces (context) - Smyth - 1988
31 Department of Computer Science (context) - Plotkin - 1983
31 Journal of Pure and Applied Algebra (context) - Carboni, Walters - 1987
30 Sheaves and logic (context) - Fourman, Scott - 1979
29 and closed categories (context) - Lawvere - 1974
26 Cambridge Studies in Advanced Mathe- matics (context) - Johnstone - 1982
25 Metric spaces as models for real-time concurrency (context) - Reed, Roscoe - 1988
20 Continuity spaces: reconciling do- mains and metric spaces (context) - Flagg, Kopperman - 1994
19 A type-theoretical alternative to ISWIM (context) - Scott - 1969
19 First order linear logic in symmetric monoidal closed cat- e.. (context) - Ambler - 1992
18 Mathematical Structures in Computer Science (context) - Rosenthal - 1992
17 indexed category theory and polymor- phism (context) - Taylor - 1986
14 Lecture Notes on Topoi and Quasitopoi (context) - Wyler - 1991
14 The logic of topoi (context) - Fourman - 1977
12 Limits indexed by category-valued 2-functors (context) - Street - 1976
11 Order ideals in categories (context) - Carboni, Street - 1986
10 The asymmetric topology of computer science (context) - Flagg, Kopperman
9 Pitman Research Notes in Mathematics Series (context) - Rosenthal - 1990
9 Types as intervals (context) - Cartwright - 1985
9 the specification of concurrent systems - Casley - 1991
8 Grundlehren der mathematischen Wissenschaften (context) - Bishop, Bridges - 1985
7 Categories for fixpoint semantics (context) - Lehmann - 1978
7 Sheaves on sites as Cauchy-complete categories (context) - Walters - 1982
7 Ultrametric Calculus: an introduction to p-adic anal- ysis (context) - Schikhof - 1984
6 A hierarchy of domains for real-time distributed computing (context) - Reed - 1990
6 Reports of the Midwest Cate- gory Seminar (context) - Bnabou - 1967
4 Fundamenta Informaticae III (context) - Arnold, Nivat - 1980
4 Compact metric information systems (context) - Edalat, Smyth - 1992
3 Models for The Lambda Calculus (context) - Scott - 1969
3 Denotational semantics of con- currency (context) - de Bakker, Zucker - 1982
3 private communication (context) - Fiore - 1993
3 Processes and the denotational semantics of concurrency (context) - de Bakker, Zucker - 1982
3 Tychonoff poset structures and auxiliary relations (context) - Flagg, Kopperman
3 Preprint obtained via anonymous ftp from triples (context) - Blute - 1993
3 Connections between category theory and logic (context) - Fourman - 1974
3 A cooks tour of countable nondetermin- ism (context) - Apt, Plotkin - 1981
3 Quantales: Quantal Sets (context) - Nawaz - 1985
3 Completeness of quasi-uniform spaces in terms of filters (context) - Smyth
3 Cahiers de Topologie et Geometrie Differentielle (context) - Walters - 1981
3 Completeness of quasi-uniformities and syntopological spaces (context) - Smyth - 1992
3 Revision of article in Mathematical Structures in Computer S.. (context) - Casley, Crew et al. - 1991
3 Springer Lecture Notes in Mathematics vol (context) - Barr - 1980
3 Internal properties of structures in toposes (context) - Rosolini - 1980
2 A generic sheaf rep- resentation for rings (context) - Borceux, van den Bossche - 1991
2 Akademische Verlagsgeschellschaft MBH (context) - Hahn - 1948
2 Also Allyn & Bacon (context) - Dugundji, Topology - 1966
2 Imperial College of Science and Technology (context) - Rowlands-Hughes, Domains - 1987
1 The category theoretic solution of recurslye domain equation.. (context) - Smyth, Plotkin - 1992
1 Cahiers de Topologie et Gomtrie Diffrentielle Catgoriques (context) - Borceux, Dejean - 1986
1 Infinite words infinite trees infiite computations (context) - Nivat - 1979
1 Deux remarques sur les ensembles valeurs dans un quantale no.. (context) - Frederic - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.risc.uni-linz.ac.at.html): More
Parallel Implementation of Fast Algorithms for Good.. - Lauss, Zinterhof.. (1994) (Correct)
Practical Integer Division with Karatsuba Complexity - Jebelean (1997) (Correct)
A Survey on the Theorema Project - Buchberger, Jebelean, Kriftner.. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC