@inproceedings{8ca2f071382d42ee9d4714b28de6fda1,
title = "A fresh look at the λ-calculus",
abstract = "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{\textquoteright}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.",
keywords = "Abstract machines, Rewriting, Sharing, Type systems, λ-calculus",
author = "Beniamino Accattoli",
note = "Publisher Copyright: {\textcopyright} Beniamino Accattoli.; 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 ; Conference date: 24-06-2019 Through 30-06-2019",
year = "2019",
month = jun,
day = "1",
doi = "10.4230/LIPIcs.FSCD.2019.1",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Herman Geuvers and Herman Geuvers",
booktitle = "4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019",
}