M. Goldberg, “Gödelisation in the lambda-Calculus (Extended Version)”, BRICS, bd. 3, nr. 5, jan. 1996.