There are some groups of question on the site which are not tagged well, especially outside of "core" TCS (which we have covered pretty well, I think).
One of these are questions about lambda-calculus. Many questions have only the main tag, or maybe tags about other concepts if the question is a comparative one.
Can we tag these questions better? In particular, there are quite some that involve transforming λ-terms into each other; I think these should have their own "technique" tag (similar to reductions which does not quite apply here).
I would ask users knowledgeable in this area to propose a (small) set of tags that can help differentiate the space of λ-calculus questions better. Attempts at generalisation so tags can be used for many calculi (e.g. π-calculus, μ- calculus) are appreciated.
Ideally, suggestions would contain (stubs for) tag wikis, too.
If you think another area is covered badly by existing tags, please open another meta discussion!