Word.ws English Dictionary

type theories

type theories is the plural of type theory.

Meaning of type theory

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

Questions about type theories

What is type theories the plural of?
Type theories is the plural of type theory.

Words near type theories in the dictionary

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

Source and license

Adapted from Wiktionary: type theories (page history and authors); 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 theories.” Word.ws, https://word.ws/type_theories. Based on Wiktionary, CC BY-SA 4.0.