Glueability of resource proof-structures: inverting the Taylor expansion (long version)

10/17/2019
by   Giulio Guerrieri, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/06/2020

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be ...
research
12/15/2017

Taylor expansion in linear logic is invertible

Each Multiplicative Exponential Linear Logic (MELL) proof-net can be exp...
research
04/21/2019

On the Taylor Expansion of Probabilistic λ-Terms (Long Version)

We generalise Ehrhard and Regnier's Taylor expansion from pure to probab...
research
01/24/2020

Up-to Techniques for Branching Bisimilarity

Ever since the introduction of behavioral equivalences on processes one ...
research
06/06/2023

Range-Restricted Interpolation through Clausal Tableaux

We show how variations of range-restriction and also the Horn property c...
research
11/18/2017

MorphNet: Fast & Simple Resource-Constrained Structure Learning of Deep Networks

We present MorphNet, an approach to automate the design of neural networ...
research
05/02/2022

Eigenstripping, Spectral Decay, and Edge-Expansion on Posets

Fast mixing of random walks on hypergraphs has led to myriad breakthroug...

Please sign up or login with your details

Forgot password? Click here to reset