English Dictionary: Hydnoraceae | by the DICT Development Group |
From WordNet (r) 3.0 (2006) [wn]: | |
| |
From WordNet (r) 3.0 (2006) [wn]: | |
| |
From WordNet (r) 3.0 (2006) [wn]: | |
| |
From WordNet (r) 3.0 (2006) [wn]: | |
| |
From Webster's Revised Unabridged Dictionary (1913) [web1913]: | |
Heathenry \Hea"then*ry\, n. 1. The state, quality, or character of the heathen. Your heathenry and your laziness. --C. Kingsley. 2. Heathendom; heathen nations. | |
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]: | |
Head Normal Form 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) | |
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]: | |
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. |