An Invariant Cost Model for the Lambda Calculus.

Ugo Dal Lago, Simone Martini

Browse the full CiE paper archive.