TY  - RPRT
TI  - Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
AU  - Giulio Guerrieri
AU  - Luca Paolini
AU  - Simona Ronchi Della Rocca
PY  - 2017
DO  - 10.23638/lmcs-13(4:29)2017
UR  - https://arxiv.org/abs/1611.07255
ID  - 1611.07255
ER  -