A Fresh Look at the λ-Calculus
Résumé
The (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.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...