Explicit substitution
id:
explicit-substitution-196-10458503
title:
Explicit substitution
text:
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 "freshness" conditions in such implicit calculi are a notorious source of errors. The concept has appeared in a large number of published papers in quite different fi
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Explicit_substitution
date created:
date modified:
2023-08-01T08:23:08Z
main entity:
{"identifier":"Q5421271","url":"https://www.wikidata.org/entity/Q5421271"}
image:
fields total:
13
integrity:
13