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
210 A powerdomain construction – G. D. Plotkin - 1976
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
320 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
137 Probabilistic Non-determinism – C Jones - 1990
26 A Semantics for Complex Objects and Approximate Queries – Peter Buneman, Susan Davidson, Aaron Watters - 1988
17 The Mixed Powerdomain – C Gunter - 1992
123 A domain equation for bisimulation – S Abramsky - 1991
78 Power domains – M B Smyth - 1978
49 Local compactness and continuous lattices – Karl Heinrich Hofmann, Michael W Mislove - 1979
4 Observable Modules and Power Domain Constructions – Reinhold Heckmann - 1993
231 Domain Theory in Logical Form – Samson Abramsky - 1991
9 Non-stable models of linear logic – R Hoofman - 1992
22 Probabilistic Domains – Reinhold Heckmann - 1997
24 domains and predicate transformers: a topological view. volume 154 – 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