Dictionary: 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

Head normalisation theorem

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.


Read Also:

  • Headnote

    [hed-noht] /ˈhɛdˌnoʊt/ noun 1. a brief summary, comment, or explanation that precedes a chapter, report, etc.

  • Head of all the heads

    noun phrase The highest-ranking chief; the big chief; capo di tutti capi: Head of all the heads, you understand my meaning? (1970s+) Related Terms capo

  • Head off at the pass

    verb phrase To forestall or prevent by anticipation: A single mother has to establish control fast, before the coercive cycle builds. You have to head it off at the pass [1930s+; fr the stock situation in western movies, where typically the leader of a force pursuing thieves or rustlers through rough ground declares, ”We’ll head […]

  • Head-of-state

    noun 1. the person who holds the highest position in a national government: a meeting of heads of state.

Disclaimer: Head normalisation theorem definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.