Glueability of resource proof-structures: Inverting the Taylor expansion

Guerrieri G.
Pellissier L.
Tortora De Falco L.

Open link

Publication date

January 2020

DOI

10.4230/LIPIcs.CSL.2020.24

Publisher

Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

Abstract

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

Extracted data

We use cookies to provide a better user experience.

Data Protection

Glueability of resource proof-structures: Inverting the Taylor expansion

Abstract

Extracted data

Glueability of resource proof-structures: Inverting the Taylor expansion

Abstract

Extracted data

Related items

Related items