amorim_etal_2021_lics:
  type: article
  title: Universal Semantics for the Stochastic Lambda-Calculus
  author:
  - Amorim, Pedro H. Azevedo de
  - Kozen, Dexter
  - Mardare, Radu
  - Panangaden, Prakash
  - Roberts, Michael
  date: 2021
  url: https://arxiv.org/abs/2011.13171
  serial-number:
    doi: 10.1109/LICS52264.2021.9470747
  parent:
    type: proceedings
    title: 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
    publisher: IEEE