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