call-by-name, call-by-value, evaluation strategies, intersection types, lambda calculus, quantitative models.
