EasyChair Smart Slide
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus