science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems. Some type theories serve as...

Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory, the latter abbreviated as MLTT) is a type theory and an alternative...

science, homotopy type theory (HoTT) refers to various lines of development of intuitionistic type theory, based on the interpretation of types as objects to...

Jung's book Psychological Types (first published in German as Psychologische Typen in 1921), Briggs recognized that Jung's theory resembled, but went far...

The blood type personality theory is a pseudoscientific belief prevalent in Japan which states that a person's blood group system is predictive of a person's...

computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of a higher-order type operator. A kind system...

cardiologists, Meyer Friedman and Ray Rosenman, who developed this theory came to believe that Type A personalities had a greater chance of developing coronary...

set theory at the turn of the 20th century, like Russell's paradox. This third aim motivated the adoption of the theory of types in PM. The theory of types...

theoretical physics, type II string theory is a unified term that includes both type IIA strings and type IIB strings theories. Type II string theory accounts for...

The type theory was initially created to avoid paradoxes in a variety of formal logics and rewrite systems. Later, type theory referred to a class of formal...