Обсуждение:Типизированное лямбда-исчисление
Перейти к навигации
Перейти к поиску
Untitled[править код]
Предлагаю переименовать в Типизированное лямбда-исчисление, как в более распространённый вариант. Возражения есть? Хацкер 14:36, 3 апреля 2008 (UTC)
- За, более «русский» вариант, плюс 57 ссылок в Гугле против 5. P.S. Я потихоньку убираю странные категории, ссылки и ориссы из статей, неплохо бы как-нибудь это организовать, что ли… --Claymore 15:03, 3 апреля 2008 (UTC)
- Да. Можно создать проект по компьютерным наукам. Стыд-позор, что у нас до сих пор такого нет. Что до «странных» категорий и статей, не думайте, что никто за этим не следит. Я просто хотел дождаться, когда будут подведены соотв. итоги — тогда останется просто поудлять мёртвые ссылки. Хацкер 15:08, 3 апреля 2008 (UTC)