Foundations of Mathematics - Malestrom
Feferman, Godel
Recurs Ion
Analyzing Stack and Heap Bounds for Primitive Recursive Programs in PR-Hume Kevin Hammond, Pedro Vasconcelos, Sun Meng, Álvaro Rebón Portillo, Leonid Timochouk.
Theory of Computation (Fall 2013): Access Functions for Gödel Numbers Lengths of Natural Numbers Formal Foundations of Program Compilation & Interpretation/Execution: Gödel Coder
Theory of Computation (Fall 2013): Trivial & Non-Trivial Program Properties, The Halting Problem, Index Sets, Rice's Theorem, Turing Machines
Introduction to languages and the theory of computation
Theory Of Computation - Text Book
Theor of Computation (Fall 2014): Godel Numbers
Theory of Computation (Fall 2014): Euclid's Gift to Computer Science
Expressiveness and Model of the Polymorphic λ Calculus
Second Order Arithmetic