Simply typed $𝜆$-calculus, also known as STLC, is the most basic type system on can equip $𝜆$-calculus with.

On the logical side, STLC corresponds to propositional logic. On the semantic side, STLC corresponds to cartesian-closed categories.