The following are final copies of my dissertation for the completion of 31482. Closure Calculus is Better than the Pure λ-Calculus (Dissertation) A Reflection on 31482 An Alien Lambda Calculus (Video)