Goldberg, M. Gödelisation in the Lambda-Calculus (Extended Version). BRICS 1996, 3.