TY  - RPRT
TI  - Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
AU  - Fabio Aurelio D'Asaro
AU  - Francesco Genco
AU  - Giuseppe Primiero
PY  - 2025
DO  - 10.1093/logcom/exaf003
UR  - https://arxiv.org/abs/2206.12934
ID  - 2206.12934
ER  -