1. Domain theory in logical form*
2. V. I. Bogachev . 2000. Measure Theory . Vol. I , II. Springer . V. I. Bogachev. 2000. Measure Theory. Vol. I, II. Springer.
3. Sobriety for equilogical spaces
4. Disintegration and Bayesian inversion via string diagrams
5. Bruno de Finetti . 1992 . Foresight: Its Logical Laws, Its Subjective Sources . Springer New York , New York, NY , 134–174. https://doi.org/10.1007/978-1-4612-0919-5_10 Bruno de Finetti. 1992. Foresight: Its Logical Laws, Its Subjective Sources. Springer New York, New York, NY, 134–174. https://doi.org/10.1007/978-1-4612-0919-5_10