Goldberg, Mayer. 1995. “Gödelisation in the Lambda-Calculus”. BRICS Report Series 2 (38). https://doi.org/10.7146/brics.v2i38.21672.