head normal form

H h

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of head normal form words

noun Technical meaning of head normal form (theory, reduction) (HNF) A term describing a lambda expression whose top level is either a variable, a data value, a built-in function applied to too few arguments, or a lambda abstraction whose body is not reducible. I.e. the top level is neither a redex nor a lambda abstraction with a reducible body. An expression in HNF may contain redexes in argument postions whereas a normal form may not. Compare Weak Head Normal Form. 1

Just one definition for head normal form

Information block about the term

Parts of speech for Head normal form

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Head normal form

See also

All definitions of head normal form

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?