A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
A Fresh Look at the lambda-Calculus (Invited Talk)
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