Types in Lambda CalculusCovers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Python Programming BasicsCovers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.
Types and Inductive RelationsDiscusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
