STANDARDIZATION AND CONSERVATIVITY OF A REFINED CALL-BY-VALUE LAMBDA-CALCULUS. - GUERRIERI, GIULIO; PAOLINI, LUCA; ROCCA, SIMONA RONCHI DELLA (Logical Methods in Computer Science (LMCS), 2017)