About: Director string

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

Way of tracking free variables in computation

Property	Value
dbo:description	way of tracking free variables in computation (en)
dbo:wikiPageExternalLink	http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/sinot-jlc05.pdf
dbo:wikiPageWikiLink	dbc:Lambda_calculus dbr:Lambda_calculus dbr:Expression_(mathematics) dbr:Function_(mathematics) dbc:Rewriting_systems dbr:Analysis_of_algorithms dbr:Free_variable dbr:Program_optimization dbr:Mathematics dbr:Explicit_substitution dbr:Computation dbr:Arity dbr:Power_set dbr:Memoization dbc:Software_optimization dbr:Beta_reduction dbr:Term_algebra dbr:Term_rewrite_system dbr:Combinatory_algebra
dct:subject	dbc:Lambda_calculus dbc:Rewriting_systems dbc:Software_optimization
gold:hypernym	dbr:Mechanism
rdfs:label	Director string (en)
owl:sameAs	yago-res:Director string freebase:Director string wikidata:Director string dbpedia-global:Director string
prov:wasDerivedFrom	wikipedia-en:Director_string?oldid=1292519375&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Director_string
is dbo:wikiPageDisambiguates of	dbr:Director
is dbo:wikiPageWikiLink of	dbr:Director dbr:Lambda_calculus dbr:Beta_normal_form dbr:Memoization
is foaf:primaryTopic of	wikipedia-en:Director_string

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