An Invariant Cost Model for the Lambda Calculus

Ugo Dal Lago, Simone Martini

We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value lam…