type theory

== English == === Noun === type theory (usually uncountable, plural type theories) (mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types. Coordinate term: set theory ==== Translations ==== ==== See also ==== type system === Further reading === type theory on Wikipedia.Wikipedia