follow Dictionary.com

11 Trending Words of 2014

head normal form

head normal form in Technology

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.
(2003-01-08)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for head

8
7
Scrabble Words With Friends