M. Goldberg, “Gödelisation in the lambda-Calculus”, BRICS, bd. 2, nr. 38, jul. 1995.