Probabilistic Domains (1997)

Cached

Download Links

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

Documents Related by Co-Citation

87 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
196 A powerdomain construction – G. D. Plotkin - 1976
122 Probabilistic Non-determinism – Claire Jones - 1990
108 G.: A probabilistic powerdomain of evaluations – C Jones, Plotkin - 1989
651 Notions of Computation and Monads – Eugenio Moggi - 1991
76 Power Domains – M Smyth - 1978
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
316 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
22 Power Domain Constructions – Reinhold Heckmann - 1998
401 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
402 Domain Theory – Samson Abramsky, Achim Jung - 1994
7 Semantics for Algebraic Operations (extended abstract – G D Plotkin, A J Power - 2001
14 Enriched Lawvere Theories – John Power
154 An abstract view of programming languages – Eugenio Moggi - 1990
29 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
816 Categories for the Working Mathematician – S Mac Lane - 1998
22 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
18 The mixed powerdomain – C GUNTER - 1992