Universal semantics for the stochastic λ-calculus

de Amorim, Pedro H. Azevedo and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Roberts, M.; (2021) Universal semantics for the stochastic λ-calculus. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science . IEEE, ITA. ISBN 9781665448956

[thumbnail of Amorim-etal-LICS2021-Universal-semantics-stochastic-λ-calculus]
Preview
Text (Amorim-etal-LICS2021-Universal-semantics-stochastic-λ-calculus)
Amorim_etal_LICS2021_Universal_semantics_stochastic_calculus.pdf
Accepted Author Manuscript

Download (386kB)| Preview

    Abstract

    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.