Power Domains and Second Order Predicates (1993)

Cached

Download Links

by Reinhold Heckmann
Venue:THEORETICAL COMPUTER SCIENCE
Citations:13 - 7 self

Active Bibliography

23 Power Domain Constructions – Reinhold Heckmann - 1998
4 An Upper Power Domain Construction in terms of Strongly Compact Sets – Reinhold Heckmann - 1998
4 Observable Modules and Power Domain Constructions – Reinhold Heckmann - 1993
22 Probabilistic Domains – Reinhold Heckmann - 1997
Semantics of Binary Choice Constructs – Reinhold Heckmann, Dr. Reinhold Heckmann, Probabilistic Power Domains, Information Systems
11 A domain equation for refinement of partial systems – Michael R. A. Huth, Radha Jagadeesan, David A. Schmidt
18 Semantic Domains for Combining Probability and Non-Determinism – Regina Tix, Klaus Keimel, Gordon Plotkin - 2005
7 Lower Bag Domains – Reinhold Heckmann - 1995
3 Power Domains Supporting Recursion and Failure – Reinhold Heckmann, Bundesrepublik Deutschland - 1998
10 Duality beyond Sober Spaces: Topological Spaces and Observation Frames – Marcello Bonsangue, Bart Jacobs, Joost Kok - 1995
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
4 Relating Multifunctions and Predicate Transformers through Closure Operators – Marcello M. Bonsangue, Joost N. Kok - 1994
2 Natural Semantics for Non-Determinism – Andrew Moran - 1993
8 Making Choices Lazily – John Hughes, Andrew Moran - 1995
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
10 Closed and logical relations for over- and under-approximation of powersets – David A. Schmidt - 2004
1 Product Operations in Strong Monads – Reinhold Heckmann - 1993
27 Computational Comonads and Intensional Semantics – Stephen Brookes, Shai Geva - 1991
148 Semantic Domains – C. A. Gunter, D. S. Scott - 1990