This repository is for supplemental material. The course web page lists the schedule and the links to the presented theme papers.
http://www.ccs.neu.edu/home/matthias/7480-s17/
lecture_notes/students' combined notes from lectures- other folders are speakers' materials for their presentations
- Morris. Lambda-calculus models of programming languages. MIT, 1969.