How to Run Algorithmic Information Theory on a Computer (1995)
arxiv.org
arxiv.org
I especially like the Turing / Godel equivalency stuff he discusses.
https://tromp.github.io/cl/Binary_lambda_calculus.html
This has recently led to a functional Busy Beaver at
https://mathoverflow.net/questions/353514/whats-the-smallest...