type theory

English

Noun

type theory (usually uncountable, plural type theories)

1. (mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.

   Coordinate term: set theory

   • 2013, Homotopy Type Theory: Univalent Foundations of Mathematics, Univalent Foundations, page 2:

     Although it is not generally regarded as the foundation for classical mathematics, set theory being more customary, type theory still has numerous applications, especially in computer science and the theory of programming languages.

Translations

branch of logic and computer science

• Czech: teorie typů f
• Finnish: tyyppiteoria
• German: Typentheorie f

See also

• type system

Further reading

• type theory on Wikipedia.Wikipedia