Power Domains and Second Order Predicates (1993)

Cached

Download Links

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

Documents Related by Co-Citation

90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
23 Power Domain Constructions – Reinhold Heckmann - 1998
212 A powerdomain construction – G. D. Plotkin - 1976
457 Domain Theory – Samson Abramsky, Achim Jung - 1994
321 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
125 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
136 Probabilistic Non-determinism – C Jones - 1990
26 A Semantics for Complex Objects and Approximate Queries – Peter Buneman, Susan Davidson, Aaron Watters - 1988
120 A domain equation for bisimulation – S Abramsky - 1991
18 The mixed powerdomain – C Gunter - 1992
78 Power domains – M B Smyth - 1978
46 Local compactness and continuous lattices – K H Hofmann, M Mislove
4 Observable Modules and Power Domain Constructions – Reinhold Heckmann - 1993
9 Non-stable models of linear logic – R Hoofman - 1992
229 Domain Theory in Logical Form – Samson Abramsky - 1991
22 Probabilistic Domains – Reinhold Heckmann - 1997
23 domains and predicate transformers: a topological view – Power - 1983
4 An Upper Power Domain Construction in terms of Strongly Compact Sets – Reinhold Heckmann - 1998
7 A Fixed Point Approach to Applicative Multiprogramming – Manfred Broy - 1981