Jean-Jacques Lévy (INRIA), The cost of usage in the lambda-calculus

Programme