Summary of Philip Walder’s “Proofs are Programs” June 19, 2015December 13, 2016 ddocci Type Theory Curry-Howard Isomorphism, lambda calculus, logic, natural deduction, program, proofs, type system Moved to here
