
Gluing resource proofstructures: inhabitation and inverting the Taylor expansion
A MultiplicativeExponential Linear Logic (MELL) proofstructure can be ...
read it

On the Taylor Expansion of Probabilistic λTerms (Long Version)
We generalise Ehrhard and Regnier's Taylor expansion from pure to probab...
read it

Taylor expansion in linear logic is invertible
Each Multiplicative Exponential Linear Logic (MELL) proofnet can be exp...
read it

Normalization, Taylor expansion and rigid approximation of λterms
The aim of this work is to characterize three fundamental normalization ...
read it

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...
read it

Upto Techniques for Branching Bisimilarity
Ever since the introduction of behavioral equivalences on processes one ...
read it

MorphNet: Fast & Simple ResourceConstrained Structure Learning of Deep Networks
We present MorphNet, an approach to automate the design of neural networ...
read it
Glueability of resource proofstructures: inverting the Taylor expansion (long version)
A MultiplicativeExponential Linear Logic (MELL) proofstructure can be expanded into a set of resource proofstructures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proofstructures that are part of the Taylor expansion of some MELL proofstructure, through a rewriting system acting both on resource and MELL proofstructures.
READ FULL TEXT
Comments
There are no comments yet.