Liminf convergence in Ω-categories
- 1 September 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 184 (1-2) , 61-104
- https://doi.org/10.1016/s0304-3975(96)00223-x
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Basic concepts of enriched category theoryPublished by Cambridge University Press (CUP) ,2014
- Recursive types reduced to inductive typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Smyth completion: a common foundation for denotational semantics and complexity analysis : Michel Schellekens http://www.elsevier.nl/locate/entcs/volume1/schellekensTheoretical Computer Science, 1995
- Solving reflexive domain equations in a category of complete metric spacesJournal of Computer and System Sciences, 1989
- Quasi-uniformities: Reconciling domains with metric spacesPublished by Springer Nature ,1988
- Stone spacesAdvances in Mathematics, 1986
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Sheaves and logicPublished by Springer Nature ,1979
- Metric spaces, generalized logic, and closed categoriesRendiconti del Seminario Matematico e Fisico di Milano, 1973
- Closed CategoriesPublished by Springer Nature ,1966