Similar Items: An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
- Taylor expansion in linear logic is invertible
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
- Generic Modal Cut Elimination Applied to Conditional Logics
- Normalizing the Taylor expansion of non-deterministic {lambda}-terms, via parallel reduction of resource vectors
- Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix