Similar Items: Normalizing the Taylor expansion of non-deterministic {lambda}-terms, via parallel reduction of resource vectors
- 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
- 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
- Taylor expansion in linear logic is invertible