Higher-Order Functions: LambdaExplores higher-order functions and lambda expressions in Python, showcasing their practical applications and concise syntax.
Types in Lambda CalculusCovers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.