@misc{indiciae08b08a89e14b,
  title = {Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System},
  author = {Fabio Aurelio D'Asaro and Francesco Genco and Giuseppe Primiero},
  year = {2025},
  doi = {10.1093/logcom/exaf003},
  url = {https://arxiv.org/abs/2206.12934},
  note = {Source identifier: 2206.12934}
}