Probabilistic Domains (1997)

Cached

Download Links

by Reinhold Heckmann
Venue:in Proc. CAAP ’94, LNCS
Citations:22 - 4 self

Documents Related by Co-Citation

90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
210 A powerdomain construction – G. D. Plotkin - 1976
137 Probabilistic Non-determinism – C Jones - 1990
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
8 Relating total and partial correctness interpretations of non-deterministic programs – C A Gunter - 1990
26 A Semantics for Complex Objects and Approximate Queries – Peter Buneman, Susan Davidson, Aaron Watters - 1988
78 Power domains – M B Smyth - 1978
730 Notions of Computation and Monads – Eugenio Moggi - 1991
163 An abstract view of programming languages – E Moggi - 1989
23 Power Domain Constructions – Reinhold Heckmann - 1998
7 Semantics for Algebraic Operations (extended abstract – G D Plotkin, A J Power - 2001
15 Enriched Lawvere Theories – John Power
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
930 Categories for the Working Mathematician – S Mac Lane - 1971
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
17 The Mixed Powerdomain – C Gunter - 1992
4 The mixed powerdomain. Internal Report MS-CIS-89-77 – C A Gunter - 1989