Similar Items: Finitary Simulation of Infinitary $beta$-Reduction via Taylor Expansion, and Applications
- Normalizing the Taylor expansion of non-deterministic {lambda}-terms, via parallel reduction of resource vectors
- Taylor expansion in linear logic is invertible
- Infinitary Combinatory Reduction Systems: Confluence
- Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
- 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