论文标题
粘合资源证明结构：居住和反转泰勒的扩展
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
论文作者
论文摘要
可以将乘法指数线性逻辑（MELL）证明结构扩展到一组资源证明结构：其泰勒的扩展。我们引入了一个新标准，该标准表征（并在有限情况下）通过在资源和MELL证明结构上作用的重写系统，这些资源证明结构集成为某些MELL证明结构的泰勒扩展的一部分。我们还证明了用于无剪切MELL证明结构的居民类型问题的半确定性。
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 (and deciding in the finite case) 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. We also prove semi-decidability of the type inhabitation problem for cut-free MELL proof-structures.
