this went round Reddit today: https://ambrosebs.com/files/ambrosebs-phd-thesis.pdf
really enjoying it
something very pleasing about using beta-reduction to symbolically analyse a lisp using anonymous lambdas
turtles all the way down