<*theory*> 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.

Last updated: 1997-01-29

Try this search on Wikipedia, OneLook, Google

**Nearby terms:**
project assurance « Project Athena « Project Guardian « **projection** » projective plane » Project MAC » project management

Loading

Copyright Denis Howe 1985