TY  - RPRT
TI  - Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
AU  - Mitchell Wand
AU  - Ryan Culpepper
AU  - Theophilos Giannakopoulos
AU  - Andrew Cobb
PY  - 2018
UR  - https://arxiv.org/abs/1807.02809
ID  - 1807.02809
ER  -