What you'll learn:

Master the fundamentals of λ-calculus from scratch.

Know the grammar of λ-calculus.

Applications of λ-calculus in functional languages: Haskell, ML, Scala...

Know the technique of Currying.

Know how to apply β-reduction in algebraic expressions.

Know the α-conversion rule to rename variables.