head normalisation theorem
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of head normalisation theorem words
- noun Technical meaning of 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. 1
Information block about the term
Parts of speech for Head normalisation theorem
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with h
- Words starting with he
- Words starting with hea
- Words starting with head
- Words starting with headn
- Words starting with headno
- Words starting with headnor
- Words starting with headnorm
- Words starting with headnorma
- Words starting with headnormal
- Words starting with headnormali
- Words starting with headnormalis
- Words starting with headnormalisa
- Words starting with headnormalisat
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?