This repository is texification of lecture note of CS520, Theory of Programming Language, 2019 Fall in KAIST.
For original lecture note, please see graduatePL19
Lecture 2 : Predicate Logic (Ch1)
Lecture 3 : Simple Imperative Language (Ch2)
Lecture 4 : Program Specification and their Proof (Ch3)
Lecture 5 : Failure, Input-Output, and Continuations (Ch5)
Lecture 6 : Transition Semantics (Ch6)
Lecture 7 : An Introduction to Category Theory (Tennent Ch8)
Lecture 8 : Recursively Defined Domains (Tennent Ch10)
Lecture 9 : Lambda Calculus (Ch10)
Lecture 10 : An Eager Functional Language (Ch11)
Lecture 11 : Continuation in a Functional Language (Ch12)
I do not own any rights for this contents.