RUSSIAN

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

By Фоккер Е.

Book information

Language
russian
Format
PDF
Filesize
122 kB (124625 bytes)
Pages
\9
Library
twirpx
Time added
2017-08-07 07:01:42
Информатика и вычислительная техника;Функционально

Description

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

Similar books