L O ] 1 4 M ay 2 02 1 Universal Semantics for the Stochastic λ-Calculus