@inproceedings{amorim_etal_2021_lics,
 title = {Universal Semantics for the Stochastic Lambda-Calculus},
 author = {Amorim, Pedro H. Azevedo de and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Roberts, Michael},
 year = {2021},
 doi = {10.1109/LICS52264.2021.9470747},
 url = {https://arxiv.org/abs/2011.13171},
 booktitle = {36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)},
 publisher = {IEEE}
}