Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5421271> ?p ?o }
Showing triples 1 to 26 of
26
with 100 triples per page.
- Q5421271 subject Q13294113.
- Q5421271 subject Q15284062.
- Q5421271 subject Q8581097.
- Q5421271 subject Q8660315.
- Q5421271 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.".
- Q5421271 wikiPageWikiLink Q1078285.
- Q5421271 wikiPageWikiLink Q13294113.
- Q5421271 wikiPageWikiLink Q1481571.
- Q5421271 wikiPageWikiLink Q1522579.
- Q5421271 wikiPageWikiLink Q15284062.
- Q5421271 wikiPageWikiLink Q1668499.
- Q5421271 wikiPageWikiLink Q175515.
- Q5421271 wikiPageWikiLink Q1934165.
- Q5421271 wikiPageWikiLink Q21198.
- Q5421271 wikiPageWikiLink Q242028.
- Q5421271 wikiPageWikiLink Q2872609.
- Q5421271 wikiPageWikiLink Q35148.
- Q5421271 wikiPageWikiLink Q3890222.
- Q5421271 wikiPageWikiLink Q5244288.
- Q5421271 wikiPageWikiLink Q6695862.
- Q5421271 wikiPageWikiLink Q6777754.
- Q5421271 wikiPageWikiLink Q787114.
- Q5421271 wikiPageWikiLink Q8581097.
- Q5421271 wikiPageWikiLink Q8660315.
- Q5421271 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.".
- Q5421271 label "Explicit substitution".