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

159	The Category-theoretic Solution of Recursive Domain Equations - Smyth, Plotkin - 1982
92	Relational properties of domains - Pitts - 1996
78	Denotational semantics of concurrency - Bakker, Zucker - 1982
59	A per model of polymorphism and recursive types - Abadi, Plotkin
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 - 2005
45	Recursion over realizability structures - Amadio - 1991
44	State-dependent representation independence - Ahmed, Dreyer, et al. - 2009
35	Elements of generalized ultrametric domain theory - Rutten
24	Local Reasoning for Storable Locks and Threads - Gotsman, Berdine, et al. - 2007
18	Nested Hoare Triples and Frame Rules for Higher-order Store - Schwinghammer, Birkedal, et al.
17	Solving recursive domain equations with enriched categories - Wagner - 1994
16	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