Solving Recursive Domain Equations with Enriched Categories (1994)

Cached

Download Links

by Kim Ritter Wagner , Stephen Brookes , John C. Reynolds
Citations:21 - 0 self

Active Bibliography

10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
Liminf convergence in \Omega\Gamma33432/-630 – Kim Ritter
Elements of generalized . . . – J. J. M. M. Rutten - 1996
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
231 Domain Theory in Logical Form – Samson Abramsky - 1991
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
APPLICATIONS OF SUP-LATTICE ENRICHED CATEGORY – Andrew M. Pitts - 1986
11 First Order Linear Logic in Symmetric Monoidal Closed Categories – Simon John Ambler - 1991
1 The Convex Powerdomain in a Category of Posets Realized By Cpos – Alex K. Simpson - 1995
3 The Development of Categorical Logic – John L. Bell
TIGHTLY BOUNDED COMPLETIONS – Marta Bunge
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
3 Event-State Duality: The Enriched Case – Vaughan R. Pratt
1 Cover semantics for quantified lax logic – Robert Goldblatt
8 On the Yoneda completion of a quasi-metric space – H. P. Künzi, M. P. Schellekens - 2002
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
12 Introducing categories to the practicing physicist. In: What is Category Theory – Bob Coecke - 2006