type theory

noun

A branch of mathematical logic and theoretical computer science concerned with types.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nountype theory (usually uncountable, plural type theories)

plural type theories

  1. uncountableusuallycomputerA 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

Translations

Czech teorie typů
  • teorie typůbranch of logic and computer science
Finnish tyyppiteoria
  • tyyppiteoriabranch of logic and computer science
German Typentheorie
  • Typentheoriebranch of logic and computer science
Polish teoria typów
  • teoria typówbranch of logic and computer science
Cite this entry
APA

type theory. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/type%20theory

MLA

“type theory.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/type%20theory. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “type theory,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/type%20theory.

Source: type theory on Wiktionary, CC BY-SA 4.0.