You are here: irt.org | FOLDOC | normal form
1. <reduction> In reduction systems, the state of a term which contains no reducible expressions. Variants include head normal form, weak head normal form.
2. <database> See database normalisation.
Nearby terms: NORDUnet « norm « normal distribution « normal form » normalisation » normalised » normal order reduction
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