TY  - RPRT
TI  - Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version)
AU  - Giulio Guerrieri
PY  - 2018
UR  - https://arxiv.org/abs/1812.10799
ID  - 1812.10799
ER  -