15399 Constructive Logic
Lecture 20: Review
We complete the discussion of capturing data structure invariants
via dependent types and then review the material in the second
segment of the course, concerned with firstorder logic and type
theory.
[ Home
 Schedule
 Assignments
 Handouts
 Software
 Overview
]
fp@cs
Frank Pfenning
