首页    期刊浏览 2024年11月25日 星期一
登录注册

文章基本信息

  • 标题:A Fresh Look at the lambda-Calculus (Invited Talk)
  • 本地全文:下载
  • 作者:Beniamino Accattoli
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2019
  • 卷号:131
  • 页码:1-20
  • DOI:10.4230/LIPIcs.FSCD.2019.1
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:The (untyped) lambda-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 lambda-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.
  • 关键词:lambda-calculus; sharing; abstract machines; type systems; rewriting
国家哲学社会科学文献中心版权所有