TY  - RPRT
TI  - Universal Semantics for the Stochastic Lambda-Calculus
AU  - Pedro Amorim
AU  - Dexter Kozen
AU  - Radu Mardare
AU  - Prakash Panangaden
AU  - Michael Roberts
PY  - 2021
UR  - https://arxiv.org/abs/2011.13171
ID  - 2011.13171
ER  -