The Convex Powerdomain in a Category of Posets Realized By Cpos (1995)

Cached

Download Links

by Alex K. Simpson
Venue:In Proc. Category Theory and Computer Science
Citations:1 - 0 self

Active Bibliography

7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
7 Enrichment and Representation Theorems for Categories of Domains and Continuous Functions – Marcelo P. Fiore - 1996
19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
Developing Theories of Types and Computability – Thesis Proposal, Lars Birkedal - 1999
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
21 Solving Recursive Domain Equations with Enriched Categories – Kim Ritter Wagner, Stephen Brookes, John C. Reynolds - 1994
9 The S-replete construction – J.M.E. Hyland, E. Moggi - 1995
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995