About: Normalisation by evaluation

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageWikiLink	dbc:Lambda_calculus dbr:Lambda_calculus dbr:Untyped_lambda_calculus dbr:Standard_ML dbr:First-order_logic dbr:Identity_function dbr:Proof_assistant dbr:Type_system dbr:Backus–Naur_form dbr:Combinatory_logic dbr:Domain_theory dbr:Beta_normal_form dbc:Programming_language_semantics dbr:Denotational_semantics dbr:Programming_language dbr:Mathematical_induction dbr:MINLOG dbr:Simply_typed_lambda_calculus dbr:Datatype dbr:Formal_semantics_of_programming_languages dbr:Elimination_rule dbr:Martin-Löf_type_theory dbr:Term_rewrite_system dbr:Β-reduction dbr:Introduction_rule dbr:Variable_(programming)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Format
dct:subject	dbc:Lambda_calculus dbc:Programming_language_semantics
gold:hypernym	dbr:Style
rdfs:label	Normalisation by evaluation (en)
owl:sameAs	wikidata:Normalisation by evaluation freebase:Normalisation by evaluation dbpedia-global:Normalisation by evaluation
prov:wasDerivedFrom	wikipedia-en:Normalisation_by_evaluation?oldid=1292510630&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Normalisation_by_evaluation
is dbo:wikiPageDisambiguates of	dbr:NBE
is dbo:wikiPageRedirects of	dbr:Normalization_by_evaluation
is dbo:wikiPageWikiLink of	dbr:NBE dbr:Simply_typed_lambda_calculus dbr:Normalization_by_evaluation
is foaf:primaryTopic of	wikipedia-en:Normalisation_by_evaluation

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International