Similar Items: Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
- Taylor expansion in linear logic is invertible
- An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
- Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
- On the Taylor expansion of $lambda$-terms and the groupoid structure of their rigid approximants
- Normalizing the Taylor expansion of non-deterministic {lambda}-terms, via parallel reduction of resource vectors
- Revisiting Call-by-value Böhm trees in light of their Taylor expansion