About: Explicit substitution

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

Extension du lambda calcul

Property	Value
dbo:description	Extension du lambda calcul (fr) Extension du lambda calcul (fr)
dbo:wikiPageWikiLink	dbr:Abstract_machine dbc:Lambda_calculus dbr:Lambda_calculus dbc:Rewriting_systems dbr:Combinatory_logic dbr:Nicolaas_Govert_de_Bruijn dbr:De_Bruijn_index dbr:Computer_science dbc:Substitution_(logic) dbc:Operational_semantics dbr:Rewriting dbr:Beta_reduction dbr:Luca_Cardelli dbr:AUTOMATH dbr:Predicate_logic dbr:Strong_normalization dbr:Symbolic_computation dbr:Martin_Abadi dbr:Substitution_instance dbr:Substitution_of_variables
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Technical
dct:subject	dbc:Lambda_calculus dbc:Rewriting_systems dbc:Substitution_(logic) dbc:Operational_semantics
rdfs:label	Explicit substitution (en) Substitution explicite (fr)
owl:sameAs	yago-res:Explicit substitution freebase:Explicit substitution wikidata:Explicit substitution dbpedia-fr:Explicit substitution dbpedia-global:Explicit substitution
prov:wasDerivedFrom	wikipedia-en:Explicit_substitution?oldid=1168185414&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Explicit_substitution
is dbo:wikiPageRedirects of	dbr:Λσ-calculus dbr:Λσ_calculus
is dbo:wikiPageWikiLink of	dbr:Lambda_calculus dbr:Categorical_abstract_machine dbr:Unification_(computer_science) dbr:Combinatory_logic dbr:Automath dbr:De_Bruijn_notation dbr:Director_string dbr:Krivine_machine dbr:Metavariable dbr:Λσ-calculus dbr:Λσ_calculus
is foaf:primaryTopic of	wikipedia-en:Explicit_substitution

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