The phrase "a principal type" is correct and usable in written English.
It can be used in contexts discussing categories, classifications, or main types within a specific subject or field.
Example: "In our research, we identified a principal type of behavior that was consistent across all subjects."
Alternatives: "a main type" or "a primary type".
Such a type is called a principal type of M.
Here P is a principal type polynomial of order m (i.e., ¦▽P¦ ⩾ C(1 + ¦ξ¦ m − 1, ¦ξ¦ ⩾ R), or a certain type of other real symbol such as P = ¦ξ¦m, m > 1.
S-palmitoylation, a principal type of lipid modifications, controls functions of various neuronal proteins by affecting their surface trafficking, including AMPARs.
Furthermore, all simple types are substitution instances of a propositional variable, hence II can be assigned both the type r → r and the type (s → s) → s → s and, of course, the latter happens to be an instance of the former because A → A is the principal type schema of II.
The change in k is consistent with a change in the principal type of irreversible trap from matrix boundaries to incoherent Fe3C.
We compute the contribution to the trace formula of isolated non-extremum critical points under a condition of "real principal type".
Even though it is improper to talk about the principal type of a typable term if a and b are distinct type variables, then a → a and b → b are distinct principal types of I there is still a precise sense in which there is one and only one principal type of a typable term: a → a and b → b are simply (uniform) substitution instances of each other.
Nonetheless, a result known as the principal type theorem assures us that the situation with I just illustrated is typical: if a term M can be assigned a type at all, then there is a type τ such that all types that can be assigned to M are instances of τ.
The principal type of bond is a mortgage bond, which represents a claim on specified real property.
The principal type of ware is a grayish-white stoneware covered with a translucent celadon glaze, usually grayish green in colour.
A principal legal type of land description in the United States, metes-and-bounds descriptions are commonly used wherever survey areas are irregular in size and shape.
