{"version":"1.0","type":"link","title":"Normalisation by evaluation - Newikis","description":"In programming language semantics, normalisation by evaluation (NBE) is a method of obtaining the normal form of terms in the λ-calculus by appealing to their denotational semantics. A term is first interpreted into a denotational model of the λ-term structure, and then a canonical (β-normal and…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}