The Category-Theoretic Solution of Recursive Metric-Space Equations

The Category-Theoretic Solution of Recursive Metric-Space Equations (2009)

Cached

Download Links

by Lars Birkedal , Kristian Støvring , Jacob Thamsborg

Citations:

BibTeX

@MISC{Birkedal09thecategory-theoretic,
    author = {Lars Birkedal and Kristian Støvring and Jacob Thamsborg},
    title = { The Category-Theoretic Solution of Recursive Metric-Space Equations},
    year = {2009}
}

Bookmark

OpenURL

Abstract

Citations

158	The category-theoretic solution of recursive domain equations - Smyth, Plotkin - 1982
89	Relational properties of domains - Pitts - 1996
78	Processes and the denotational semantics of concurrency - Bakker, Zucker - 1982
58	A per model of polymorphism and recursive types - Abadi, Plotkin - 1990
56	Categories for the Working - Lane - 1971
47	On the foundations of final semantics: Non-standard sets, metric spaces, partial orders - Rutten, Turi - 1993
46	Relational reasoning in a nominal semantics for storage - Benton, Leperchey
44	Recursion over realizability structures - Amadio - 1991
43	State-dependent representation independence - Ahmed, Dreyer, et al. - 2009
35	Elements of generalized ultrametric domain theory - Rutten
22	Local reasoning for storable locks and threads - Gotsman, Berdine, et al. - 2007
17	Solving recursive domain equations with enriched categories - Wagner - 1994
16	Nested Hoare triples and frame rules for higher-order store - Schwinghammer, Birkedal, et al. - 2009
14	Realizability semantics of parametric polymorphism, general references, and recursive types - Birkedal, Støvring, et al. - 2009
7	Solutions of functorial and non-functorial metric domain equations - Alessi, Bell, et al. - 1995
7	Solving domain equations in a category of compact metric spaces - Breugel, Warmerdam - 1994
4	The connection between initial and unique solutions of domain equations in the partial order and metric approach - Baier, Majster-Cederbaum - 1997
3	A fixed-point theorem in a category of compact metric spaces - Alessi, Baldan, et al. - 1995
1	bilimits and saturated domains - Homomorphisms - 1987