@inproceedings{21fe1f6d59d64825b0f835927ec1e29a,
title = "Universal semantics for the stochastic λ-calculus",
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.",
keywords = "lambda calculus, stochastic processes, probability, reasoning about programs, probabilistic logic, semantics, higher order probabilistic programs",
author = "{de Amorim}, {Pedro H. Azevedo} and Dexter Kozen and Radu Mardare and Prakash Panangaden and M. Roberts",
year = "2021",
month = jul,
day = "7",
doi = "10.1109/LICS52264.2021.9470747",
language = "English",
series = "Proceedings - Symposium on Logic in Computer Science",
publisher = "IEEE",
booktitle = "2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021",
note = "2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ; Conference date: 29-06-2021 Through 02-07-2021",
}