Individual km#type_theory  branch of mathematics and logic that concerns itself with classifying entities into sets called types
  url:  http://en.wikipedia.org/wiki/Type_theory
  >part of:  formal_logic
     >part of:  logic.philosophy  the branch of philosophy that analyzes inference
        >part of:  philosophy  the rational investigation of questions about existence and knowledge and ethics

No statement uses or specializes type_theory; click here to add one.