15-819K Logic Programming
Lecture 18: Proof Terms

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Propositions as types
  • Proof terms
  • Proof checking
  • Meta-theoretic proofs as relations
• Previous lecture: Mode Checking
• Next lecture: Verifying Progress

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning