Definition. Compositionality, computability, and complexity › Term rewrite systems (§ 6.1) › Normal form (§ 6.1) [pagin2021-normal-form]

A term that cannot be reduced further is in normal form.