Head Normal Form
Head Normal Form
(theory, reduction)An expression in HNF may contain redexes in argument postionswhereas a normal form may not.
Compare Weak Head Normal Form.
单词 | head normal form |
释义 | Head Normal FormHead Normal Form(theory, reduction)An expression in HNF may contain redexes in argument postionswhereas a normal form may not. Compare Weak Head Normal Form. |
随便看 |
|
英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。