Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Explicit_substitution> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Explicit_substitution abstract "In computer science, lambda calculi are said to have explicit substitutions if they pay special attention to the formalization of the process of substitution. This is in contrast to the standard lambda calculus where substitutions are performed by beta reductions in an implicit manner which is not expressed within the calculus. The concept of explicit substitutions has become notorious (despite a large number of published calculi of explicit substitutions in the literature with quite different characteristics) because the notion often turns up (implicitly and explicitly) in formal descriptions and implementation of all the mathematical forms of substitution involving variables such as in abstract machines, predicate logic, and symbolic computation.".
- Explicit_substitution wikiPageID "16874985".
- Explicit_substitution wikiPageLength "5326".
- Explicit_substitution wikiPageOutDegree "28".
- Explicit_substitution wikiPageRevisionID "633674634".
- Explicit_substitution wikiPageWikiLink AUTOMATH.
- Explicit_substitution wikiPageWikiLink Abstract_machine.
- Explicit_substitution wikiPageWikiLink Automath.
- Explicit_substitution wikiPageWikiLink Beta_reduction.
- Explicit_substitution wikiPageWikiLink Category:Lambda_calculus.
- Explicit_substitution wikiPageWikiLink Category:Operational_semantics.
- Explicit_substitution wikiPageWikiLink Category:Rewriting_systems.
- Explicit_substitution wikiPageWikiLink Category:Substitution_(logic).
- Explicit_substitution wikiPageWikiLink Change_of_variables.
- Explicit_substitution wikiPageWikiLink Combinatory_logic.
- Explicit_substitution wikiPageWikiLink Computer_science.
- Explicit_substitution wikiPageWikiLink De_Bruijn_index.
- Explicit_substitution wikiPageWikiLink Lambda_calculus.
- Explicit_substitution wikiPageWikiLink Luca_Cardelli.
- Explicit_substitution wikiPageWikiLink Martin_Abadi.
- Explicit_substitution wikiPageWikiLink Martín_Abadi.
- Explicit_substitution wikiPageWikiLink Nicolaas_Govert_de_Bruijn.
- Explicit_substitution wikiPageWikiLink Normalization_property_(abstract_rewriting).
- Explicit_substitution wikiPageWikiLink Predicate_logic.
- Explicit_substitution wikiPageWikiLink Rewriting.
- Explicit_substitution wikiPageWikiLink Strong_normalization.
- Explicit_substitution wikiPageWikiLink Substitution_(logic).
- Explicit_substitution wikiPageWikiLink Substitution_instance.
- Explicit_substitution wikiPageWikiLink Substitution_of_variables.
- Explicit_substitution wikiPageWikiLink Symbolic_computation.
- Explicit_substitution wikiPageWikiLinkText "Explicit substitution".
- Explicit_substitution wikiPageWikiLinkText "explicit substitution".
- Explicit_substitution hasPhotoCollection Explicit_substitution.
- Explicit_substitution wikiPageUsesTemplate Template:Reflist.
- Explicit_substitution subject Category:Lambda_calculus.
- Explicit_substitution subject Category:Operational_semantics.
- Explicit_substitution subject Category:Rewriting_systems.
- Explicit_substitution subject Category:Substitution_(logic).
- Explicit_substitution type Model.
- Explicit_substitution type Model.
- Explicit_substitution comment "In computer science, lambda calculi are said to have explicit substitutions if they pay special attention to the formalization of the process of substitution. This is in contrast to the standard lambda calculus where substitutions are performed by beta reductions in an implicit manner which is not expressed within the calculus.".
- Explicit_substitution label "Explicit substitution".
- Explicit_substitution sameAs m.0409504.
- Explicit_substitution sameAs Q5421271.
- Explicit_substitution sameAs Q5421271.
- Explicit_substitution wasDerivedFrom Explicit_substitution?oldid=633674634.
- Explicit_substitution isPrimaryTopicOf Explicit_substitution.