By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


Projection




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



< Previous Terms Terms Containing projection Next Terms >
progressive/sequential coding
PROJECT
project assurance
Project Athena
Project Guardian
Bezier curve
Cartesian coordinates
hairy ball
injection
Manufacturer Resource Planning
projective plane
Project MAC
project management
project planning
Prolog


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions