Random elements in effective topological spaces with measure
Information and Computation
Computability theory of generalized functions
Journal of the ACM (JACM)
A computable version of the Daniell-Stone theorem on integration and linear functionals
Theoretical Computer Science
Representing probability measures using probabilistic processes
Journal of Complexity
Admissible Representations of Probability Measures
Electronic Notes in Theoretical Computer Science (ENTCS)
Computable Riesz Representation for Locally Compact Hausdorff Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Notions of Probabilistic Computability on Represented Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Are unbounded linear operators computable on the average for Gaussian measures?
Journal of Complexity
A computable approach to measure and integration theory
Information and Computation
Computability of probability measures and Martin-Löf randomness over metric spaces
Information and Computation
Computable Exchangeable Sequences Have Computable de Finetti Measures
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Computability of the Radon-Nikodym derivative
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
Computability on random events and variables in a computable probability space
Theoretical Computer Science
| Hi-index | 0.00 |