Universal Semantics for the Stochastic λ-Calculus

Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
2021 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)  
We define sound and adequate denotational and operational semantics for the stochastic lambda calculus. These two semantic approaches build on previous work that used an explicit source of randomness to reason about higher-order probabilistic programs.
doi:10.1109/lics52264.2021.9470747 fatcat:szvvbfhplrcwdbcjkipk4g5u64