A Fresh Look at the λ-Calculus

International audienceThe (untyped) λ-calculus is almost 90 years old. And yet-we argue here-its study is far from being over. The paper is a bird's eye view of the questions the author worked on in the last few years: how to measure the complexity of λ-terms, how to decompose their evaluation, how to implement it, and how all this varies according to the evaluation strategy. The paper aims at inducing a new way of looking at an old topic, focussing on high-level issues and perspectives