Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Normalisation_by_evaluation> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Normalisation_by_evaluation abstract "In programming language semantics, normalisation by evaluation (NBE) is a style 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 η-long) representative is extracted by reifying the denotation. Such an essentially semantic approach differs from the more traditional syntactic description of normalisation as a reductions in a term rewrite system where β-reductions are allowed deep inside λ-terms.NBE was first described for the simply typed lambda calculus. It has since been extended both to weaker type systems such as the untyped lambda calculus using a domain theoretic approach, and to richer type systems such as several variants of Martin-Löf type theory.".
- Normalisation_by_evaluation wikiPageID "12720370".
- Normalisation_by_evaluation wikiPageRevisionID "605745554".
- Normalisation_by_evaluation hasPhotoCollection Normalisation_by_evaluation.
- Normalisation_by_evaluation subject Category:Lambda_calculus.
- Normalisation_by_evaluation subject Category:Programming_language_semantics.
- Normalisation_by_evaluation comment "In programming language semantics, normalisation by evaluation (NBE) is a style 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 η-long) representative is extracted by reifying the denotation.".
- Normalisation_by_evaluation label "Normalisation by evaluation".
- Normalisation_by_evaluation sameAs m.02x22jr.
- Normalisation_by_evaluation sameAs Q7051843.
- Normalisation_by_evaluation sameAs Q7051843.
- Normalisation_by_evaluation wasDerivedFrom Normalisation_by_evaluation?oldid=605745554.
- Normalisation_by_evaluation isPrimaryTopicOf Normalisation_by_evaluation.