TY  - RPRT
TI  - A Probabilistic and Non-Deterministic Call-by-Push-Value Language
AU  - Jean Goubault-Larrecq
PY  - 2019
UR  - https://arxiv.org/abs/1812.11573
ID  - 1812.11573
ER  -