Goldberg, Mayer. “Solving Equations in the Lambda-Calculus Using Syntactic Encapsulation”. BRICS Report Series 2, no. 49 (juni 19, 1995). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/19950.