Danvy, Olivier. “An Extensional Characterization of Lambda-Lifting and Lambda-Dropping”. BRICS Report Series 5, no. 2 (januar 13, 1998). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/21961.