(UK, archaic) A form of confectionery consisting of a sweet lozenge with a flirtatious message printed on it.

Something currently talked about.

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

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

(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 the same or greater than the old one’s, guaranteeing that there will be no loss of information.

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

plural of conversion rate

plural of conversion van

Synonym of metrication