type

in mathematical linguistics the kind or class of an individual sign; in so far as a t. designates the class membership it contrasts with the token, which designates the actual instance of the sign; cf. Appendix A, §4, ¶1