|
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
|
|
21
|
Probabilistic Domains
– Reinhold Heckmann
- 1997
|
|
7
|
Lower Bag Domains
– Reinhold Heckmann
- 1995
|
|
3
|
Power Domains Supporting Recursion and Failure
– Reinhold Heckmann, Bundesrepublik Deutschland
- 1998
|
|
402
|
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
|
|
12
|
A domain equation for refinement of partial systems
– Michael R. A. Huth, Radha Jagadeesan, David A. Schmidt
|
|
4
|
Abstract Valuations: A Novel Representation of Plotkin Power Domain and Vietoris Hyperspace
– Reinhold Heckmann
- 1997
|
|
9
|
Duality beyond Sober Spaces: Topological Spaces and Observation Frames
– Marcello Bonsangue, Bart Jacobs, Joost Kok
- 1995
|
|
213
|
Domain Theory in Logical Form
– Samson Abramsky
- 1991
|
|
4
|
An Upper Power Domain Construction in terms of Strongly Compact Sets
– Reinhold Heckmann
- 1998
|
|
136
|
Semantic Domains
– C. A. Gunter, D. S. Scott
- 1990
|
|
9
|
A Convenient Category of Domains
– Ingo Battenfeld, Matthias Schröder, Alex Simpson
|
|
8
|
Topology, Domain Theory and Theoretical Computer Science
– Michael W. Mislove
- 1997
|
|
12
|
Semantic Domains for Combining Probability and Non-Determinism
– Regina Tix, Klaus Keimel, Gordon Plotkin
- 2005
|
|
18
|
Combining Computational Effects: Commutativity and Sum
– Martin Hyland, Gordon Plotkin, John Power
- 2002
|
