Jump to content

Talk:Bar recursion

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Binary198 (talk | contribs) at 11:58, 13 March 2022 (→Bar recursion). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
WikiProject iconMathematics Stub‑class Low‑priority
WikiProject iconThis article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
StubThis article has been rated as Stub-class on Wikipedia's content assessment scale.
LowThis article has been rated as Low-priority on the project's priority scale.

Bar recursion

The level of writing seems to be too technical for wikipedia, especially if you compare it with the entry Bar recursion. The lambda-calculus notation should be avoided. Jepin (talk) 15:29, 27 April 2017 (UTC)[reply]

I agree. I shall make it less technical. Binary198 (talk) 11:58, 13 March 2022 (UTC)[reply]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Bar_recursion&oldid=1076877812"