English Simply typed lambda calculus Cited by user Lexi.lambda on 30 Sep 2022 The simply typed lambda calculus ( and suitable type variables, while polymorphism and dependency cannot.