@misc{indiciaeca1568ae6c86,
  title = {Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion},
  author = {Mitchell Wand and Ryan Culpepper and Theophilos Giannakopoulos and Andrew Cobb},
  year = {2018},
  url = {https://arxiv.org/abs/1807.02809},
  note = {Source identifier: 1807.02809}
}