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

文章基本信息

  • 标题:Glueability of Resource Proof-Structures: Inverting the Taylor Expansion
  • 本地全文:下载
  • 作者:Giulio Guerrieri ; Luc Pellissier ; Lorenzo Tortora de Falco
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2020
  • 卷号:152
  • 页码:1-18
  • DOI:10.4230/LIPIcs.CSL.2020.24
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proof-structures that are part of the Taylor expansion of some MELL proof-structure, through a rewriting system acting both on resource and MELL proof-structures.
  • 关键词:linear logic; Taylor expansion; proof-net; natural transformation
国家哲学社会科学文献中心版权所有