Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

normal form

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

©2018 Martin Webb