production

n 1: (economics) manufacturing or mining or growing something

(usually in large quantities) for sale; "he introduced

more efficient methods of production"

2: the act or process of producing something; "Shakespeare's

production of poetry was enormous"; "the production of

white blood cells"

3: a presentation for the stage or screen or radio or

television; "have you seen the new production of Hamlet?"

4: the amount of an artifact that has been produced by someone

or some process; "they improve their product every year";

"they export most of their agricultural production" [syn:

{product}]

5: (law) the act of exhibiting in a court of law; "the

appellate court demanded the production of all documents"

projection

In domain theory, a {function}, f, which is (a)

{idempotent}, i.e. f(f(x))◦f(x) and (b) whose result is no

more defined than its argument. E.g. F(x)◦bottom or F(x)◦x.

In {reduction} systems, a function which returns some

{component} of its argument. E.g. head, tail, \ (x,y) . x.

In a {graph reduction} system the function can just return a

pointer to part of its argument and does not need to build any

new graph.

(1997-01-29)