Goldberg M. Solving Equations in the lambda-Calculus using Syntactic Encapsulation. BRICS [Internet]. 19. juni 1995 [henvist 5. december 2025];2(49). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19950