Liminf convergence in Ω-categories

Theoretical Computer Science

Volumn 184, Issue 1-2, 1997, Pages 61-104

  Wagner, Kim Ritter ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; RECURSIVE FUNCTIONS; THEOREM PROVING;

CAUCHY SEQUENCES; SCOTT'S INVERSE LIMIT THEOREM;

CONVERGENCE OF NUMERICAL METHODS;

EID: 0346675329     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00223-X     Document Type: Article

References (22)

1. P. America and J.J.M.M. Rutten, Solving reflexive domain equations in a category of complete metric spaces, Centrum voor Wiskunde en Informatica, Report CS-R8709, February 1987; J. Comput. System Sci. 39 (1989) 343-375.
2. M. Bonsangue, F. van Breugel and J.J.M.M. Rutten, Generalized ultrametric spaces: completion, topology and powerdomains via the Yoneda embedding, Tech. Report CS-R9560, Centrum for Wiskunde en Informatica, Amsterdam, 1995.
3. F. Borceux, Handbook of Categorical Algebra, Vols. I-III, Encyclopedia of Mathematics and its Applications (Cambridge Univ. Press, Cambridge, 1994).
4. S. Eilenberg and G.M. Kelly, Closed categories, in: Proc. La Jolla Conf. on Categorical Algebra (Springer, Berlin, 1966).
5. B. Flagg and R. Kopperman, Fixed Points and Reflexive Domain Equations in Categories of Continuity Spaces, MFPS XI, New Orleans, March-April 1995, ENTCS, Vol. 1, 1995.
6. M. Fourman and D.S. Scott, Sheaves and logic, in: Fourman, Mulvey and Scott, eds., Proc. Durham, 1977, Applications of Sheaves, Lecture Notes in Math. Vol. 753 (Springer, Berlin, 1979).
7. P. Freyd, Recursive types reduced to inductive types, LICS 1990.
8. G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove and D.S. Scott, A Compendium of Continuous Lattices (Springer, Berlin, 1980).
9. P.T. Johnstone, Stone Spaces, Cambridge Studies in Advanced Mathematics, Vol. 3 (Cambridge Univ. Press, Cambridge, 1982).
10. S. Jourdan and K.R. Wagner, Variations on fixed-point theorems, preprint, 1996.
11. G.M. Kelly, Structures defined by finite limits in the enriched context, I, Cahiers de Topologie Géométrie Différentielle XXIII-1 (1982).
12. G.M. Kelly, Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Note Series, Vol. 64 (Cambridge Univ. Press, Cambridge, 1982).
13. J. Lambek and P.J. Scott, Introduction to Higher Order Categorical Logic, Cambridge Studies in Advanced Mathematics, Vol. 7 (Cambridge Univ. Press, Cambridge, 1986).
14. F.W. Lawvere, Metric spaces, generalized logic, and closed categories, Rendiconti Seminario Matematico e Fisico di Milano, Vol. 43 (1974) 135-166.
15. F.W. Lawvere, Taking categories seriously, Revista Columbiana de Matemáticas XX (1986) 147-178.
16. M. Makkai and M.R. Paré, Accessible Categories: The Foundations of Categorical Model Theory, Contemporary Mathematics, Vol. 104 (AMS. Providence, RI, 1989).
17. D.M. Rowlands-Hughes, Domains versus metric spaces, MSc Thesis, Imperial College, September 1987.
18. M. Schellekens, The Smyth completion: a common foundation for denotational semantics and complexity analysis, MFPS XI, New Orleans, March-April 1995, ENTCS, Vol.1, 1995.
19. D.S. Scott, Domains for denotational semantics, in: M. Nielsen and E.M. Schmidt, eds.; Internat. Coll. on Automata, Languages and Programs, Lectures Notes in Computer Science, Vol. 140 (Springer, Berlin, 1982) pp. 577-613.
20. M.B. Smyth, Quasi-uniformities: reconciling domains with metric spaces, in: Proc. 3rd Workshop on the Mathematical Foundations of Programming Language Semantics, Tulane, April 1987, Lecture Notes in Computer Science, Vol. 298 (Springer, Berlin, 1988).
21. K.R. Wagner, Solving recursive domain equations with enriched categories, Ph.D. Thesis, Carnegie Mellon University, Tech. Report CMU-CS-94-159, July 1994.
22. K.R. Wagner, Liminf convergence in Ω-categories, Cambridge University Tech. Report, 1995.