Semantics of probabilistic programs
semantics for a high level probabilistic programming language
programs as partial measurable functions on a measurable space
programs as continuous linear operators on a Banach space of measures
scientific article; zbMATH DE number 3748403