(debate) in linguistics and philosophy of language, the conversational scoreboard is a tuple which represents the discourse context at a given point in a conversation. The scoreboard is updated by each speech act performed by one of the interlocutors.

plural of narrowing conversion

plural of metric conversion

Synonym of metrication

plural of Pauline conversion

The scanning of a backfile and subsequent saving in a digital format.

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

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

An unusual item, such as a painting, or a tabletop knick-knack which encourages comment from visitors, and so helps to break the ice.