type-shifting noun1 •An operation or rule that maps the denotation of an expression of one semantic type to a related denotation of a different type, allowing it to be interpreted with a type other than its basic one.
