Goldberg, M. Gödelisation in the Lambda-Calculus. BRICS 1995, 2.