= Simply typed lambda calculus
{wiki=Simply_typed_lambda_calculus}
Simply Typed Lambda Calculus (STLC) is a formal system in mathematical logic and computer science that serves as a foundation for understanding typing and functional programming languages. It extends the basic lambda calculus by introducing a simple type system to ensure that functions can only be applied to arguments of compatible types. \#\#\# Key Features of STLC: 1. **Syntax**: - **Variables**: Represented by symbols like \\( x, y, z \\).
Back to article page