15-816 Substructural Logics
Schedule
- Lectures are Tuesday and Thursday, 1:30pm-2:50pm, GHC 4301
-
The class notes provide additional reading material
They complement, but do not replace the lecture
- The schedule is subject to change throughout the semester
- Combined lectures notes (single PDF)
[ Home
| Schedule
| Assignments
| Resources
]
fp@cs
Frank Pfenning
|