Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus [pdf]cis.upenn.edu135 pointsbmc75055 years ago