Denotational semantics for languages for inference: semirings, monads, and tensors. - Cristina Matache; Sean K. Moss; Sam Staton; Ariadne Si Suo (CoRR, 2023)