type theory

Hello, you have come here looking for the meaning of the word type theory. In DICTIOUS you will not only get to know all the dictionary meanings for the word type theory, but we will also tell you about its etymology, its characteristics and you will know how to say type theory in singular and plural. Everything you need to know about the word type theory you have here. The definition of the word type theory will help you to be more precise and correct when speaking or writing your texts. Knowing the definition oftype theory, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

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

See also

Further reading

Wikious
Boobota
Sagapedia