TY  - RPRT
TI  - A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction
AU  - Jonathan H. Warrell
PY  - 2016
UR  - https://arxiv.org/abs/1602.06420
ID  - 1602.06420
ER  -