The Cost of Usage in the Lambda-Calculus.

Andrea Asperti, Jean-Jacques Lvy

Browse the full LICS paper archive.