Фоккер Е. Систематическое конструирование однокомбинаторного базиса для λ-термов

• Файл формата pdf
• размером 121,70 КБ

• Добавлен пользователем darkus14, дата добавления неизвестна
• Описание отредактировано 01.02.2011 12:46

В этой статье описывается простое замкнутое λ-выражение, при помощи которого можно выразить все прочие λ-выражения. Его построение осуществляется систематическим образом. Полученное λ-выражение является более простым, чем известные из литературы однокомбинаторные базисы.