STLC full form

Simply-Typed Lambda-Calculus