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