Goldberg M. Gödelisation in the lambda-Calculus (Extended Version). BRICS [Internet]. 5. januar 1996 [henvist 14. oktober 2026];3(5). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19968