TY  - RPRT
TI  - Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case
AU  - Guillaume Geoffroy
PY  - 2021
UR  - https://arxiv.org/abs/2104.06016
ID  - 2104.06016
ER  -