Talk:Explicit substitution
Latest comment: 1 year ago by Mathnerd314159 in topic Propose merge to lambda calculus
| This is the talk page for discussing improvements to the Explicit substitution article. This is not a forum for general discussion of the article's subject. |
Article policies
|
| Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
Propose merge to lambda calculus
editWhile important, a bit technical and specific for a standalone article (we don't even have a standalone article for the more fundamental concepts of substitution (lambda calculus) and beta-reduction. Caleb Stanford (talk) 20:49, 5 May 2023 (UTC)
- @User:Felix QW Perhaps you can add some summary sentences to lambda calculus#β-reduction. --Ancheta Wis (talk | contribs) 11:00, 14 June 2023 (UTC)
- Oppose The lambda calculus article is pretty big, and merging this would probably make it too big. Also I don't really see an obvious place where this would go (the substitution section is just a short thing explaining it in the context of beta-reduction). Mathnerd314159 (talk) 23:57, 14 June 2023 (UTC)
delta function
editOverview rewriting rules 2 and 3 define a delta function. --Ancheta Wis (talk | contribs) 13:39, 14 June 2023 (UTC)