Publisher
Springer International Publishing
Reference39 articles.
1. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 3, pp. 1–168. Oxford University Press, Inc. (1994).
http://dl.acm.org/citation.cfm?id=218742.218744
2. Aumann, R.J.: Borel structures for function spaces. Illinois J. Math. 5(4), 614–630 (1961).
http://projecteuclid.org/euclid.ijm/1255631584
3. Lecture Notes in Computer Science;B Bichsel,2018
4. Billingsley, P.: Probability and Measure, 3rd edn. Wiley, New York (1995)
5. Borgström, J., Dal Lago, U., Gordon, A.D., Szymczak, M.: A lambda-calculus foundation for universal probabilistic programming. In: Garrigue, J., Keller, G., Sumii, E. (eds.) Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, 18–22 September 2016, pp. 33–46. ACM (2016).
https://doi.org/10.1145/2951913.2951942
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献