A Fresh Look at the lambda-Calculus (Invited Talk)

Beniamino Accattoli, Michael Wagner
2019 International Conference on Rewriting Techniques and Applications  
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.
doi:10.4230/lipics.fscd.2019.1 dblp:conf/rta/Accattoli19 fatcat:75swok72vvb6fdfl3fx5lu5sey