Similar Items: 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
- Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
- Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
- Taylor expansion in linear logic is invertible
- Revisiting Call-by-value Böhm trees in light of their Taylor expansion
- Finitary Simulation of Infinitary $beta$-Reduction via Taylor Expansion, and Applications