TY  - RPRT
TI  - A Lambda-Calculus Foundation for Universal Probabilistic Programming
AU  - Johannes Borgström
AU  - Ugo Dal Lago
AU  - Andrew D. Gordon
AU  - Marcin Szymczak
PY  - 2017
UR  - https://arxiv.org/abs/1512.08990
ID  - 1512.08990
ER  -