Programming Language Theory λΠ
List of resources about foundational knowledge for programmers (supposed...
Proof theory seminar