0 your name written by yourself, always in the same way, usually to show that something has been written or agreed by you --
1 used to refer to the special thing for which a person or place is particularly known: --
2 your name written in the particular way you write it, esp. on a printed document to show that you have written it yourself: --
3 your name written by yourself, always in the same way, often used on documents to show that you have read something or that you agree to something: --
5 used to describe the product or service that a company or person is known for: --
In any particular application, a fixed number of constants are introduced, which form a signature.
Variables and constants must be declared in the context or signature to be wellformed.
We assume given some signature which maps constants to simple types.
Terms are typed inductively starting from types for variables and constants and signatures for operators.
The output signature consists of virtual and frozen components, that is, all the components that are defined in the module.
The input signature consists of deferred and virtual components, that is, all the components on which definitions in the module may depend.
Its fight is not for legitimacy-that has already been won-but for signature causes, especially involving rights.
A preterm is only meaningful with respect to a particular support signature.
