A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
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