Maihemuti N, Liu J, Tang J and Yu X. Investigating Push-out Properties in the Category of Riesz Modules: A Study on Denotational Semantics in probabilistic Programming Languages. Proceedings of the 2024 International Conference on Computer and Multimedia Technology. (185-189).