DeepAI

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

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.

• 18 publications
• 4 publications
• 4 publications
08/06/2020

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

A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be ...
04/21/2019

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

We generalise Ehrhard and Regnier's Taylor expansion from pure to probab...
12/15/2017

### Taylor expansion in linear logic is invertible

Each Multiplicative Exponential Linear Logic (MELL) proof-net can be exp...
01/24/2020

### Up-to Techniques for Branching Bisimilarity

Ever since the introduction of behavioral equivalences on processes one ...
08/06/2020

### On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants

We show that the normal form of the Taylor expansion of a λ-term is isom...
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...
05/02/2022

### Eigenstripping, Spectral Decay, and Edge-Expansion on Posets

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