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

文章基本信息

  • 标题:Taylor expansion for Call-By-Push-Value
  • 本地全文:下载
  • 作者:Jules Chouquet ; Christine Tasson
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2020
  • 卷号:152
  • 页码:1-16
  • DOI:10.4230/LIPIcs.CSL.2020.16
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:The connection between the Call-By-Push-Value lambda-calculus introduced by Levy and Linear Logic introduced by Girard has been widely explored through a denotational view reflecting the precise ruling of resources in this language. We take a further step in this direction and apply Taylor expansion introduced by Ehrhard and Regnier. We define a resource lambda-calculus in whose terms can be used to approximate terms of Call-By-Push-Value. We show that this approximation is coherent with reduction and with the translations of Call-By-Name and Call-By-Value strategies into Call-By-Push-Value.
  • 关键词:Call-By-Push-Value; Quantitative semantics; Taylor expansion; Linear Logic
国家哲学社会科学文献中心版权所有