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