A probabilistic powerdomain of evaluations
Top Cited Papers
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 186-195
- https://doi.org/10.1109/lics.1989.39173
Abstract
A probabilistic power domain construction is given for the category of inductively complete partial orders. It is the partial order of continuousKeywords
This publication has 8 references indexed in Scilit:
- Computational lambda-calculus and monadsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Partial morphisms in categories of effective objectsInformation and Computation, 1988
- Measure and IntegralPublished by Springer Nature ,1988
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981
- Cpo's of measures for nondeterminismTheoretical Computer Science, 1980
- Algebraic TheoriesPublished by Springer Nature ,1976
- On the Extension of MeasuresAnnals of Mathematics, 1951