1 problem

The paper studies a call-by-value setting in which execution time is measured by the number of ${\beta_v}$-steps leading to a normal form, if any, using a relational denotational s…