Talk:AlphaRenaming

Latest comment: 13 years ago by MattGiuca in topic Duplicate pages with different names?

Duplicate pages with different names?

edit

I'm wondering why there is both a AlphaRenaming and Alpha renaming page? The second is just a redirect to Lambda calculus#α-conversion, but the name chosen for this page seems like a response to "Alpha Renaming" already being taken. Who is ever going to key "AlphaRenaming" into the search box? A Google search turns up about 5 hits, one of which is to this page. Could someone who understands this subject straighten this out? This page already has a link to Lambda calculus#α-conversion, why not delete the "Alpha renaming" redirect and then rename this page to "Alpha renaming"? -- Dougher (talk) 01:33, 23 October 2009 (UTC)Reply