Сбор средств 15 Сентября 2024 – 1 Октября 2024
О сборе средств
поиск книг
книги
Сбор средств:
14.9% достигнуто
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Открыть LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Систематическое конструирование однокомбинаторного базиса для λ-термов
Фоккер Е.
𝐊
𝐒
𝐗
выражение
комбинатора
𝐗𝐗
определение
𝜆
базис
комбинаторов
𝐈
𝐊𝐊
𝐴
𝑃
выражения
программирования
практика
решения
функционального
набор
𝐵
базисы
комбинатор
правило
термов
𝜆𝑥.𝐴
базиса
базисом
комбинаторы
однокомбинаторный
статье
𝐗𝐗𝐗
𝑄
𝑥
𝛽
абстракции
дважды
доказательство
литературы
помощи
применений
простота
размер
редукция
россера
теореме
терм
термы
шагов
𝑅
Язык:
russian
Файл:
PDF, 122 KB
Ваши теги:
0
/
0
russian
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×