A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
Probabilistic non-determinism
Dynamical systems, measures, and fractals via domain theory
Information and Computation
Selected papers of the workshop on Topology and completion in semantics
Domain Theory in Stochastic Processes
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
General riemann integrals and their computation via domain
General riemann integrals and their computation via domain
Riemann and Edalat integration on domains
Theoretical Computer Science - Topology in computer science
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
A domain-theoretic Banach–Alaoglu theorem
Mathematical Structures in Computer Science
Representing probability measures using probabilistic processes
Journal of Complexity
Admissible Representations of Probability Measures
Electronic Notes in Theoretical Computer Science (ENTCS)
Stably Compact Spaces and the Probabilistic Powerspace construction
Electronic Notes in Theoretical Computer Science (ENTCS)
The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
This article surveys a variety of approaches to integration theory that have arisen in the context of continuous domain theory. The presentation is set in a broader context of ‘positive’ analysis, analysis where order-theoretic notions and notions of positivity play a key role.