Power Domains Supporting Recursion and Failure (1998)

Cached

Download Links

by Reinhold Heckmann
Citations:3 - 1 self

Active Bibliography

Semantics of Binary Choice Constructs – Reinhold Heckmann, Dr. Reinhold Heckmann, Probabilistic Power Domains, Information Systems
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
13 Power Domains and Second Order Predicates – Reinhold Heckmann - 1993
4 An Upper Power Domain Construction in terms of Strongly Compact Sets – Reinhold Heckmann - 1998
23 Power Domain Constructions – Reinhold Heckmann - 1998
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
27 Computational Comonads and Intensional Semantics – Stephen Brookes, Shai Geva - 1991
231 Domain Theory in Logical Form – Samson Abramsky - 1991
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
22 Probabilistic Domains – Reinhold Heckmann - 1997
18 Semantic Domains for Combining Probability and Non-Determinism – Regina Tix, Klaus Keimel, Gordon Plotkin - 2005
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
35 Semantic Lego – David Espinosa - 1995
1 A Convex Powerdomain over Lattices: its Logic and λ-Calculus – Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D - 1997
40 A Co-induction Principle for Recursively Defined Domains – Andrew M. Pitts - 1992
13 A Convenient Category of Domains РIngo Battenfeld, Matthias Schr̦der, Alex Simpson
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
99 Relational Properties of Domains – Andrew M. Pitts - 1996