M. Goldberg, “Gödelisation in the lambda-Calculus (Extended Version)”, BRICS, vol. 3, no. 5, Jan. 1996.