Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Explicit_substitution> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items 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 wikiPageRevisionID "558100219".
- Explicit_substitution hasPhotoCollection Explicit_substitution.
- 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 Artifact100021939.
- Explicit_substitution type Instrumentality103575240.
- Explicit_substitution type Object100002684.
- Explicit_substitution type PhysicalEntity100001930.
- Explicit_substitution type RewritingSystems.
- Explicit_substitution type System104377057.
- Explicit_substitution type Whole100003553.
- 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 sameAs Explicit_substitution.
- Explicit_substitution wasDerivedFrom Explicit_substitution?oldid=558100219.
- Explicit_substitution isPrimaryTopicOf Explicit_substitution.