Categorial grammar is like a combination of context-free grammar and types. URL: Logics of the second and higher orders may be regarded as type -theoretic systems. Grishin (originator), Encyclopedia of Mathematics. (''Note : this to the notion of 'data type' in computing theory.) (mathematics) A part of the partition of the object domain of a logical theory (which due to the existence of such partition, would be called a typed'' theory).The fundamental types used to express the simplest and most essential chemical relations are hydrochloric acid, water, ammonia, and methane. (chemistry) A simple compound, used as a mode or pattern to which other compounds are conveniently regarded as being related, and from which they may be actually or theoretically derived.(fine arts) The original object, or class of objects, scene, face, or conception, which becomes the subject of a copy especially, the design on the face of a medal or a coin.(computing theory) A tag attached to variables and values used in determining which kinds of value can be used in which situations a data type.Wireframes may function as interface specification for products such as computer applications, web and mobile sites. (theology) An event or person that prefigures or foreshadows a later event - commonly an Old Testament event linked to Christian times. A wireframe is a schematic or other low-fidelity rendering of a computer interface, intended to primarily demonstrate functionality, features, content, and user flow without explicitly specifying the visual design of a product.Preferred sort of person sort of person that one is attracted to. Archetype definition, the original pattern or model from which all things of the same kind are copied or on which they are based a model or first form prototype.(biology) An individual considered representative of members of its taxonomic group.# (chiefly, uncountable) Text printed with such type, or imitating its characteristics.# (uncountable) Such types collectively, or a set of type of one font or size.(printing, countable) A letter or character used for printing, historically a cast or engraved block.* 1872, Mary Rose Godfrey, Loyal, volume 3, page 116: Altogether he was the type of low ruffianism - as ill-conditioned a looking brute as ever ginned a hare.An individual that represents the ideal for its class an embodiment.I'd hate for you to get in trouble on your last night in Europe.' * 2002, Pat Conroy, The Great Santini, page 4: 'I just peeked out toward the restaurant and there are a lot of Navy types in there.An individual considered typical of its class, one regarded as typifying a certain profession, environment, etc.A grouping based on shared characteristics a class.

Antetype equivalent