Danvy, Olivier. “An Extensional Characterization of Lambda-Lifting and Lambda-Dropping”. BRICS Report Series 6, no. 21 (januar 21, 1999). Set december 8, 2025. https://tidsskrift.dk/brics/article/view/20078.