Goldberg, Mayer. 1996. “Gödelisation in the Lambda-Calculus (Extended Version)”. BRICS Report Series 3 (5). https://doi.org/10.7146/brics.v3i5.19968.