Lambda-Mu на русском

Для обсуждения любых относящихся к Lambda-Mu тем и вопросов.