An academic course by which a student studying a certain subject can change to another subject.

(set phrase) Acceptance of religious belief immediately before one dies, typically in a state of anxiety or fear of the insecurity of what will happen to one in and after death.

(computing theory) One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term is replaced by another variable across its entire scope. So if there is a lambda term of the form (𝜆x.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (𝜆y.t[y/x]) where t[y/x], "t with y instead of x", has had all free instances of x in t replaced with y.

(computing theory) One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (𝜆x.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself).

plural of conversion rate

plural of conversion van

(linguistics, philosophy, semantics) Either of a pair of terms that name or describe a single relationship from opposite perspectives, such as parent versus child.

(programming) A conversion from one data type to another where the new data type’s size is smaller than the old one’s, such that the conversion may result in loss of information.

(programming) A conversion from one data type to another where the new data type’s size is the same or greater than the old one’s, guaranteeing that there will be no loss of information.

One of 23 counties in Wyoming, United States. County seat: Douglas.