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

Type physicalism (also known as reductive materialism, type identity theory, mind–brain identity theory and identity theory of mind) is a physicalist...

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

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

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

dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent...

prevents type errors. Type system, defines a programming language's response to data types. Type (model theory) Type theory, basis for the study of type systems...

In model theory and related areas of mathematics, a type is an object that describes how a (real or possible) element or finite collection of elements...

First Introduction to Topos Theory, Springer-Verlag, ISBN 978-0-387-97710-2 homotopy type theory at the nLab Homotopy Type Theory: Univalent Foundations of...

programming and type theory, an algebraic data type (ADT) is a kind of composite type, i.e., a type formed by combining other types. Two common classes...

A theory is a rational type of abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking...

a type. Even a type can become associated with a type. An implementation of a type system could in theory associate identifications called data type (a...

According to type theories, for example, introverts and extraverts are two fundamentally different categories of people. According to trait theories, introversion...

following system is Mendelson's (1997, 289–293) ST type theory. ST is equivalent with Russell's ramified theory plus the Axiom of reducibility. The domain of...

type theory, a theory within mathematical logic, the bottom type of a type system is the type that is a subtype of all other types. Where such a type...

Type theory with records is a formal semantics representation framework, using records to express type theory types. It has been used in natural language...

In theoretical physics, type I string theory is one of five consistent supersymmetric string theories in ten dimensions. It is the only one whose strings...

types in a library. C data types Data dictionary Kind Type (model theory) Type theory for the mathematical models of types Type conversion ISO/IEC 11404...

area of mathematical logic and computer science known as type theory, a unit type is a type that allows only one value (and thus can hold no information)...

an abstract typed functional language. In 1978, Robin Milner introduces the Hindley–Milner type inference algorithm for ML. Type theory became applied...

continuum). A theory of the first type is called unstable, a theory of the second type is called strictly stable and a theory of the third type is called...

The Type 0 string theory is a less well-known model of string theory. It is a superstring theory in the sense that the worldsheet theory is supersymmetric...

the field of type theory in computer science, a quotient type is a data type which respects a user-defined equality relation. A quotient type defines an...

languages and type theory, parametric polymorphism allows a single piece of code to be given a "generic" type, using variables in place of actual types, and then...