TY  - RPRT
TI  - A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation
AU  - Francesco A. Genco
PY  - 2026
UR  - https://arxiv.org/abs/2406.17082
ID  - 2406.17082
ER  -