Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
head normalisation theorem
Jump to user comments
Under the typed lambda-calculus, beta/delta reduction of the
left-most redex (normal order reduction) is guaranteed to
terminate with a head normal form if one exists. See also
Church-Rosser theorem.
Related search result for "head normalisation theorem"
Comments and discussion on the word "head normalisation theorem"