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
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
4 Observable Modules and Power Domain Constructions – Reinhold Heckmann - 1993
22 Probabilistic Domains – Reinhold Heckmann - 1997
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
Semantics of Binary Choice Constructs – Reinhold Heckmann
944 A theory of type polymorphism in programming – Robin Milner - 1978
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999