"type theory" meaning in English

{
  "forms": [
    {
      "form": "type theories",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-",
        "2": "+"
      },
      "expansion": "type theory (usually uncountable, plural type theories)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Computer science",
          "orig": "en:Computer science",
          "parents": [
            "Computing",
            "Sciences",
            "Technology",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "Coordinate term: set theory"
        },
        {
          "ref": "2013, Homotopy Type Theory: Univalent Foundations of Mathematics, Univalent Foundations, page 2",
          "text": "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.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A branch of mathematical logic and theoretical computer science concerned with types."
      ],
      "id": "en-type_theory-en-noun-F~GMlbPg",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "computer science",
          "computer science"
        ],
        [
          "logic",
          "logic"
        ],
        [
          "type",
          "type"
        ]
      ],
      "raw_glosses": [
        "(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types."
      ],
      "related": [
        {
          "word": "type system"
        }
      ],
      "tags": [
        "uncountable",
        "usually"
      ],
      "topics": [
        "computer",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "science",
        "sciences"
      ],
      "translations": [
        {
          "code": "cs",
          "lang": "Czech",
          "sense": "branch of logic and computer science",
          "tags": [
            "feminine"
          ],
          "word": "teorie typů"
        },
        {
          "code": "fi",
          "lang": "Finnish",
          "sense": "branch of logic and computer science",
          "word": "tyyppiteoria"
        },
        {
          "code": "de",
          "lang": "German",
          "sense": "branch of logic and computer science",
          "tags": [
            "feminine"
          ],
          "word": "Typentheorie"
        }
      ]
    }
  ],
  "word": "type theory"
}

{
  "forms": [
    {
      "form": "type theories",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-",
        "2": "+"
      },
      "expansion": "type theory (usually uncountable, plural type theories)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "type system"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with quotations",
        "English uncountable nouns",
        "en:Computer science",
        "en:Mathematics"
      ],
      "examples": [
        {
          "text": "Coordinate term: set theory"
        },
        {
          "ref": "2013, Homotopy Type Theory: Univalent Foundations of Mathematics, Univalent Foundations, page 2",
          "text": "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.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A branch of mathematical logic and theoretical computer science concerned with types."
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "computer science",
          "computer science"
        ],
        [
          "logic",
          "logic"
        ],
        [
          "type",
          "type"
        ]
      ],
      "raw_glosses": [
        "(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types."
      ],
      "tags": [
        "uncountable",
        "usually"
      ],
      "topics": [
        "computer",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "science",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "branch of logic and computer science",
      "tags": [
        "feminine"
      ],
      "word": "teorie typů"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "branch of logic and computer science",
      "word": "tyyppiteoria"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "branch of logic and computer science",
      "tags": [
        "feminine"
      ],
      "word": "Typentheorie"
    }
  ],
  "word": "type theory"
}