Lectures related to Lambda calculus

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Covers operational semantics and evaluation strategies in lambda calculus, including redex, alternative evaluation strategies, and Church Booleans.

Introduces terms, abstractions, applications, and values in the lambda calculus.

Explores Church numerals, Booleans, pairs, recursion, and behavioral equivalence in Lambda Calculus.

Explores Church numerals and encoding conditionals in lambda calculus.

Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.

Covers high-order functions, parser, and type checker concepts.

Covers the essential concepts of the Standard Template Library (STL) in C++ for efficient data manipulation.

Covers the syntax and examples of lambda functions, including parameters, types, bodies, and environments.

Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.

Introduces lambdas in Java, focusing on sorting with Comparator interface.

Delves into Lambda Calculus proofs, emphasizing structural induction and variable manipulation.

Covers functional programming concepts in Python, showcasing filtering lists based on specific criteria.

Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

Explores variable capture in higher-order functions and the importance of variable renaming.

Explores lambda calculus, higher-order functions, and recursive function encoding.

Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.