normal form

<reduction> In reduction systems, the state of a term which contains no reducible expressions. Variants include head normal form, weak head normal form.

<database> See database normalisation.

Try this search on Wikipedia, OneLook, Google

Nearby terms:

NORDUnet « norm « normal distribution « normal form » normalisation » normalised » normal order reduction

Loading