Lambda Calculus Basics

Alex simplifies lambda calculus as a rewriting scheme using variables and functions. Tim questions the ubiquity of lambda functions across programming languages, highlighting their fundamental nature as functions.