Goldberg, M. (1995). Gödelisation in the lambda-Calculus. BRICS Report Series, 2(38). https://doi.org/10.7146/brics.v2i38.21672