omega-QRB-Domains and the Probabilistic Powerdomain
暂无分享,去创建一个
[1] Klaus Keimel,et al. The probabilistic powerdomain for stably compact spaces , 2004, Theor. Comput. Sci..
[2] Klaus Keimel. Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism , 2005, MFPS.
[3] Jimmie D. Lawson. T0-spaces and pointwise convergence , 1985 .
[4] Achim Jung,et al. The classification of continuous domains , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[5] Achim Jung,et al. The troublesome probabilistic powerdomain , 1997, COMPROX.
[6] Eugenio Moggi,et al. Notions of Computation and Monads , 1991, Inf. Comput..
[7] P. Venugopalan,et al. Quasicontinuous posets , 1990 .
[8] Ralph Kopperman,et al. Papers on general topology and applications : eleventh summer conference at the University of Southern Maine , 1996 .
[9] Achim Jung,et al. Stably Compact Spaces and the Probabilistic Powerspace construction , 2004, DTMPP.
[10] Abbas Edalat. Domain Theory and Integration , 1995, Theor. Comput. Sci..
[11] K. Hofmann,et al. Continuous Lattices and Domains , 2003 .
[12] Michael W. Mislove,et al. Topology, domain theory and theoretical computer science , 1998 .
[13] Samson Abramsky,et al. Domain theory , 1995, LICS 1995.
[14] Matthias Schröder,et al. A Convenient Category of Domains , 2007, Computation, Meaning, and Logic.
[15] Matthias Schröder,et al. Compactly generated domain theory , 2006, Mathematical Structures in Computer Science.
[16] Jean Goubault-Larrecq,et al. Continuous Previsions , 2007, CSL.
[17] Steven K. Graham,et al. Closure Properties of a Probabilistic Domain Construction , 1987, MFPS.
[18] L. Nachbin. Topology and order , 1965 .
[19] Michael B. Smyth,et al. The Largest Cartesian Closed Category of Domains , 1983, Theor. Comput. Sci..
[20] C. Jones,et al. A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[21] Andrea Schalk,et al. Algebras for generalized power constructions , 1993 .
[22] M. Andrew Moshier,et al. Stably Compact Spaces and Closed Relations , 2001, MFPS.
[23] Jimmie D. Lawson. The Versatile Continuous Order , 1987, MFPS.
[24] Jean Goubault-Larrecq,et al. Continuous Capacities on Continuous State Spaces , 2007, ICALP.
[25] J E A N G O U B A U L T-L A. De Groot Duality and Models of Choice : Angels , Demons , and Nature , 2009 .
[26] A. Jung,et al. Cartesian closed categories of domains , 1989 .
[27] Alex Simpson,et al. Two Probabilistic Powerdomains in Topological Domain Theory , 2006 .
[28] Reinhold Heckmann,et al. Spaces of Valuations , 1996 .