Home
Schedule
Assignments
Projects
Handouts
Resources
lpcourse@cs
Blackboard
fp@cs
Frank Pfenning
15819K Logic Programming
Lecture 18: Proof Terms
Reading:
Lecture Notes
Code:
none
Concepts:
Propositions as types
Proof terms
Proof checking
Metatheoretic proofs as relations
Previous lecture:
Mode Checking
Next lecture:
Verifying Progress
[
Home

Schedule

Assignments

Handouts

Software

Resources
]
fp@cs
Frank Pfenning