Logic, Types, and Category Theory

Notes on logic and type theory.

Building PDFs

• Install pandoc .
• Use pandoc -o <filename.pdf> <filename.md>.

Courses and Lectures

CS 498: Logic in Computer Science

• https://courses.engr.illinois.edu/cs498mp3/sp2014/

Oregon Programming Language Summer School (OPLSS)

Each year, the ACM Sigplan Oregon Programming Language Summer School covers a topic in the foundation of programming languages.

Archives for each year: https://www.cs.uoregon.edu/research/summerschool/archives.html

OPLSS 2012: Logic, Languages, Compilation, and Verification

• https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html
• https://www.youtube.com/playlist?list=PL5wN76fTY0N4O7Q8FizzJk96-_CJzErcS

Misc

Philip Wadler - Propositions as Types (Lambda Days 2016)