{"version":"1.0","type":"link","title":"Beta normal form - Newikis","description":"In lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta-eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta-redex in the head position. The normal form of a term, if one exists,…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}