Similar Items: Revisiting Call-by-value Böhm trees in light of their Taylor expansion
- Taylor expansion in linear logic is invertible
- Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
- Gems of Corrado Böhm
- On the Taylor expansion of $lambda$-terms and the groupoid structure of their rigid approximants
- Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
- Light Logics and the Call-by-Value Lambda Calculus