Through a series of lectures, you will learn: (i) how to describe the essence of programming languages in math; (ii) how to state and prove their basic properties; (iii) how to use PLT Redex, a domain ...