Power Domain Constructions (1998)

Cached

Download Links

by Reinhold Heckmann
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:23 - 9 self

Active Bibliography

13 Power Domains and Second Order Predicates – Reinhold Heckmann - 1993
Semantics of Binary Choice Constructs – Reinhold Heckmann, Dr. Reinhold Heckmann, Probabilistic Power Domains, Information Systems
4 Observable Modules and Power Domain Constructions – Reinhold Heckmann - 1993
22 Probabilistic Domains – Reinhold Heckmann - 1997
7 Lower Bag Domains – Reinhold Heckmann - 1995
3 Power Domains Supporting Recursion and Failure – Reinhold Heckmann, Bundesrepublik Deutschland - 1998
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
2 Natural Semantics for Non-Determinism – Andrew Moran - 1993
8 Making Choices Lazily – John Hughes, Andrew Moran - 1995
6 Abstract Valuations: A Novel Representation of Plotkin Power Domain and Vietoris Hyperspace – Reinhold Heckmann - 1997
11 A domain equation for refinement of partial systems – Michael R. A. Huth, Radha Jagadeesan, David A. Schmidt
10 Duality beyond Sober Spaces: Topological Spaces and Observation Frames – Marcello Bonsangue, Bart Jacobs, Joost Kok - 1995
231 Domain Theory in Logical Form – Samson Abramsky - 1991
4 An Upper Power Domain Construction in terms of Strongly Compact Sets – Reinhold Heckmann - 1998
148 Semantic Domains – C. A. Gunter, D. S. Scott - 1990
13 A Convenient Category of Domains РIngo Battenfeld, Matthias Schr̦der, Alex Simpson
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
18 Semantic Domains for Combining Probability and Non-Determinism – Regina Tix, Klaus Keimel, Gordon Plotkin - 2005
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002