Untyped Lambda Calculus

Untyped Lambda Calculus is a formal system used to study computation and functions. It models how functions are defined, applied, and transformed using simple symbols, without assigning specific types or categories to data. Think of it as a minimal language for expressing complex calculations through function creation and application alone. This flexibility makes it a foundational concept in computer science, underpinning many programming languages and theories about how computation works. Despite its simplicity, it can represent any computable function, illustrating core principles of logic and computer operation.