English Explanatory Dictionary

type theory

English dictionary entry

Meanings

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

Word forms

type theory type theories

Related words

type system
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on T Russian dictionary Dahl dictionary