TY  - RPRT
TI  - Curry and Howard Meet Borel
AU  - Melissa Antonelli
AU  - Ugo Dal Lago
AU  - Paolo Pistone
PY  - 2022
UR  - https://arxiv.org/abs/2203.11265
ID  - 2203.11265
ER  -