M. Goldberg, “Gödelisation in the lambda-Calculus”, BRICS, vol. 2, no. 38, Jul. 1995.