English Type theory Cited by user Cobalt pen on 09 Oct 2020 In mathematics, logic, and computer science, a type theory is a formal system in which every "term" has a "type".