The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces
暂无分享,去创建一个
[1] Claire Jones,et al. Probabilistic non-determinism , 1990 .
[2] Klaus Keimel. Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism , 2005, MFPS.
[3] Samson Abramsky,et al. Domain theory , 1995, LICS 1995.
[4] Matthias Schröder,et al. Probabilistic Observations and Valuations: (Extended Abstract) , 2005, MFPS.
[5] Klaus Keimel,et al. Ordered cones and approximation , 1992 .
[6] L. Nachbin. Topology and order , 1965 .
[7] K. Hofmann,et al. Continuous Lattices and Domains , 2003 .
[8] Klaus Keimel,et al. The probabilistic powerdomain for stably compact spaces , 2004, Theor. Comput. Sci..
[9] Walter Roth,et al. Hahn-Banach Type Theorems for Locally Convex Cones , 2000, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.
[10] Klaus Keimel,et al. Semantic Domains for Combining Probability and Non-Determinism , 2005, Electron. Notes Theor. Comput. Sci..
[11] E. Alfsen. Compact convex sets and boundary integrals , 1971 .
[12] Gordon D. Plotkin. A domain-theoretic Banach–Alaoglu theorem , 2006, Mathematical Structures in Computer Science.
[13] V. Fedorchuk,et al. Probability measures in topology , 1991 .