## projection

<*theory*>

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

### Nearby terms:

Project Athena ♦ Project Guardian ♦ **projection** ♦ projective plane ♦ Project MAC

Try this search on Wikipedia, OneLook, Google

Loading