Similar Items: Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
- Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines
- 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
- Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
- Taylor expansion in linear logic is invertible
- The Safe Lambda Calculus