proof_theory.md

Proof Theory

"I am Frank, and I am not particularly funny." --- Frank Pfenning

Frank Pfenning gave us brief overview of Proof Theory (one of the components of the trinity of computer science). Videos for these lectures can be found either on the OPLSS curriculum page or here on youtube

Day 1 --- Intuitionistic Logic

• Scanned Notes:
  • dbp

Day 2 --- Curry-Howard Isomorphism

• Scanned Notes:
  • dbp

Day 3 --- Sequent Calculus

• Scanned Notes:
  • dbp

Day 4 --- Linear Logic

• Scanned Notes:
  • dbp

Day 5 --- Computational Interpretations of Linear Logic

• Scanned Notes:
  • dbp