15-836 Substructural Logics
Schedule
-
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 (248 pp, single PDF)
[ Home
| Schedule
| Assignments
| Resources
]
fp@cs
Frank Pfenning
|