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.
| < Previous Terms | Terms Containing normal form | Next Terms > |
| NorCroft NORD PL NORDUnet norm normal distribution | algebraic data type Backus-Naur Form BNF call-by-name Church-Rosser Theorem | normalisation normalised normal order reduction normed space northbridge |
