@misc{indiciae4e95e4fc46cc,
  title = {A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation},
  author = {Francesco A. Genco},
  year = {2026},
  url = {https://arxiv.org/abs/2406.17082},
  note = {Source identifier: 2406.17082}
}