Talk:Bergman's diamond lemma

AfC comments
I think we've got a difficult edge case here, and I've fallen on the side of accepting this draft. ArXiv is not a great place to be searching on because there's some preprints here. Particularly dubious is the Inoué paper, which is unpublished and reads like an undergrad/master's thesis, not really the level we're looking for here. However, the original paper, Duke Mathematical Journal and Nankai Series sources convince me that there's enough to build an article from.

I don't claim to be enough of an expert to independently check the accuracy of this draft, but I have seen diamond lemmata in lambda calculus when studying the Church–Rosser theorem, and it does look to me like this is a sufficiently different topic to other diamond lemma-focused articles. — Bilorv ( talk ) 16:56, 31 December 2021 (UTC)