TY  - RPRT
TI  - Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version)
AU  - Francesco Gavazzo
PY  - 2018
UR  - https://arxiv.org/abs/1801.09072
ID  - 1801.09072
ER  -