Danvy, O., Malmkjær, K., & Palsberg, J. (1995). Eta-Expansion Does The Trick. BRICS Report Series, 2(41). https://doi.org/10.7146/brics.v2i41.21673