You are here: irt.org | FOLDOC | 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
Nearby terms: project assurance « Project Athena « Project Guardian « projection » projective plane » Project MAC » project management
FOLDOC, Topics, 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, ?, ALL
©2018 Martin Webb