typed lambda-calculus

---

typed lambda-calculus
(tlc) a variety of lambda-calculus in which every term is labelled with a type.

---