@misc{indiciaeb787bdf21a0b,
  title = {A Probabilistic Call-by-Need Lambda-Calculus -- Extended Version},
  author = {David Sabel and Manfred Schmidt-Schauß and Luca Maio},
  year = {2022},
  url = {https://arxiv.org/abs/2205.14916},
  note = {Source identifier: 2205.14916}
}