Word.ws English Dictionary

type theory

type theory noun: a branch of mathematical logic and theoretical computer science concerned with types.

Noun

type theory (usually uncountable, plural type theories)

  1. (usually) A branch of mathematical logic and theoretical computer science concerned with types.
    • 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.2013, Homotopy Type Theory: Univalent Foundations of Mathematics, Univalent Foundations, page 2

Forms of type theory

pluraltype theories

Questions about type theory

What does type theory mean?
Type theory means a branch of mathematical logic and theoretical computer science concerned with types.
What part of speech is type theory?
Type theory is a noun.
What is the plural of type theory?
The plural of type theory is type theories.

Words near type theory in the dictionary

  1. type specimens
  2. type system
  3. type systems
  4. type testing
  5. type theories
  6. type theory
  7. type up
  8. type varieties
  9. type variety
  10. type wheel
  11. type wheels

Source and license

Adapted from Wiktionary: type theory (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “type theory.” Word.ws, https://word.ws/type_theory. Based on Wiktionary, CC BY-SA 4.0.