Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Normalisation_by_evaluation> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples 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 wikiPageLength "9265".
- Normalisation_by_evaluation wikiPageOutDegree "28".
- Normalisation_by_evaluation wikiPageRevisionID "654503581".
- Normalisation_by_evaluation wikiPageWikiLink Backus–Naur_Form.
- Normalisation_by_evaluation wikiPageWikiLink Beta_normal_form.
- Normalisation_by_evaluation wikiPageWikiLink Category:Lambda_calculus.
- Normalisation_by_evaluation wikiPageWikiLink Category:Programming_language_semantics.
- Normalisation_by_evaluation wikiPageWikiLink Combinatory_logic.
- Normalisation_by_evaluation wikiPageWikiLink Data_type.
- Normalisation_by_evaluation wikiPageWikiLink Denotational_semantics.
- Normalisation_by_evaluation wikiPageWikiLink Domain_theory.
- Normalisation_by_evaluation wikiPageWikiLink First-order_logic.
- Normalisation_by_evaluation wikiPageWikiLink Identity_function.
- Normalisation_by_evaluation wikiPageWikiLink Intuitionistic_type_theory.
- Normalisation_by_evaluation wikiPageWikiLink Lambda_calculus.
- Normalisation_by_evaluation wikiPageWikiLink MINLOG.
- Normalisation_by_evaluation wikiPageWikiLink Mathematical_induction.
- Normalisation_by_evaluation wikiPageWikiLink Natural_deduction.
- Normalisation_by_evaluation wikiPageWikiLink Programming_language.
- Normalisation_by_evaluation wikiPageWikiLink Proof_assistant.
- Normalisation_by_evaluation wikiPageWikiLink Rewriting.
- Normalisation_by_evaluation wikiPageWikiLink Semantics_(computer_science).
- Normalisation_by_evaluation wikiPageWikiLink Simply_typed_lambda_calculus.
- Normalisation_by_evaluation wikiPageWikiLink Standard_ML.
- Normalisation_by_evaluation wikiPageWikiLink Type_system.
- Normalisation_by_evaluation wikiPageWikiLink Variable_(computer_science).
- Normalisation_by_evaluation wikiPageWikiLinkText "Normalisation by evaluation".
- Normalisation_by_evaluation wikiPageWikiLinkText "normalisation by evaluation".
- Normalisation_by_evaluation wikiPageUsesTemplate Template:Empty_section.
- Normalisation_by_evaluation wikiPageUsesTemplate Template:Format.
- Normalisation_by_evaluation wikiPageUsesTemplate Template:Reflist.
- Normalisation_by_evaluation subject Category:Lambda_calculus.
- Normalisation_by_evaluation subject Category:Programming_language_semantics.
- Normalisation_by_evaluation hypernym Style.
- Normalisation_by_evaluation type Model.
- Normalisation_by_evaluation type Model.
- Normalisation_by_evaluation type Redirect.
- 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 Q7051843.
- Normalisation_by_evaluation sameAs m.02x22jr.
- Normalisation_by_evaluation sameAs Q7051843.
- Normalisation_by_evaluation wasDerivedFrom Normalisation_by_evaluation?oldid=654503581.
- Normalisation_by_evaluation isPrimaryTopicOf Normalisation_by_evaluation.