Guerrieri. Towards a Semantic Measure of the Execution Time in Call-by-value Lambda-calculus. Open Publishing Association, Apr. 2019, doi:10.4204/eptcs.293.5.