Internet Archive Scholar

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)  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (386.7 kB)
https://web.archive.org/web/20210910071215/https://strathprints.strath.ac.uk/77749/1/Amorim_etal_LICS2021_Universal_semantics_stochastic_calculus.pdf

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 application/pdf.

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
Citation

Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts. "Universal Semantics for the Stochastic λ-Calculus." 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2021)