Это писалось как комментарий к ответу @D-side, но в границы комментария не уложилось.
В принципе, любая метка неоднозначна, если для неё нет соответствующего описания. Но имеет смысл учитывать текущие реалии, если в большинстве случаев под термином "лямбда" будет пониматься "лямбда-выражение", то лямбда вполне сойдёт за основную метку. В частности из-за своей краткости.
AWS Lambda совершенно спокойно может стать отдельной меткой вида aws-lambda.
Пример с греческой буквой я считаю вовсе надуманным. Никто в здравом уме не будет создавать метку для буквы алфавита. Интересно, кому бы была интересна подписка на такие вопросы?
Выделять отдельно лямбда-исчисление тоже кажется сомнительным. Так как это в первую очередь математический термин. А реализация лямбда-исчислений на языках программирования (ведь Stack Overflow это сайт о программировании) как раз будет относиться к лямбда-выражению.