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

文章基本信息

  • 标题:Resource Lambda-Calculus: the Differential Viewpoint
  • 本地全文:下载
  • 作者:Thomas Ehrhard
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2011
  • 卷号:12
  • 页码:1-1
  • DOI:10.4230/LIPIcs.CSL.2011.1
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We present differential linear logic and its models, the associated resource and differential lambda-calculi, and the Taylor expansion of promotion boxes. We also describe an antiderivative which seems to be available in many models of differential Linear Logic, and we present a very simple categorical axiom for this operation.
  • 关键词:proof theory; lambda-calculus; linear logic; denotational semantics
国家哲学社会科学文献中心版权所有