TY  - RPRT
TI  - On Probabilistic Applicative Bisimulation and Call-by-Value $λ$-Calculi (Long Version)
AU  - Raphaelle Crubille
AU  - Ugo Dal Lago
PY  - 2014
UR  - https://arxiv.org/abs/1401.3766
ID  - 1401.3766
ER  -