(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.

(physics) A proposed mechanism, involving a rotating, convecting, and electrically conducting fluid, by which a celestial body generates and maintains a magnetic field over astronomical time scales.

(metaphysics) An alternative to standard possible worlds semantics in which an individual can exist in only one world, while other possible worlds contain (different) counterparts to that individual, and in which the modality operators (necessity, possibility) are replaced by quantifiers over possible worlds.

(linguistics) A particular approach to the architecture of the language organ, based on the principle that the syntactic relation 'X complement of Y' is identical to an inverse-order morphological relation 'X specifier of Y'.

Abbreviation of attainable region theory.

(sciences, of a theory) a highly simplified model used to explore systems qualitatively

(film) The view of film as an art form with an original and personal stylistic vision, especially in contrast to collective authorship in the studio system.

(construction) A theory describing the behaviour of a beam, plate, or shell consisting of three layers: two facesheets and one core.

(US politics, historical) An element of U.S. President Richard Nixon's foreign policy, by which Nixon was portrayed as irrational and volatile toward leaders of hostile Communist nations, with the aim of making them fearful of provoking the United States.

An informal metaphor for chronic illness or disability that uses "spoons" to represent the finite units of physical and mental energy that a person has available for daily tasks.