@misc{indiciae90fd8b152991,
  title = {Modelling Recursion and Probabilistic Choice in Guarded Type Theory},
  author = {Philipp Jan Andries Stassen and Rasmus Ejlers Møgelberg and Maaike Zwart and Alejandro Aguirre and Lars Birkedal},
  year = {2024},
  url = {https://arxiv.org/abs/2408.04455},
  note = {Source identifier: 2408.04455}
}