Danvy, Olivier, Karoline Malmkjær, and Jens Palsberg. “Eta-Expansion Does The Trick”. BRICS Report Series 2, no. 41 (August 4, 1995). Accessed May 6, 2024. https://tidsskrift.dk/brics/article/view/21673.