Ebook: Систематическое конструирование однокомбинаторного базиса для λ-термов
Author: Фоккер Е.
- Genre: Компьютеры // Программирование
- Tags: Информатика и вычислительная техника, Функциональное программирование
- Language: Русский
- pdf
В этой статье описывается простое замкнутое λ-выражение, при помощи которого можно выразить все прочие λ-выражения. Его построение осуществляется систематическим образом. Полученное λ-выражение является более простым, чем известные из литературы однокомбинаторные базисы.
Download the book Систематическое конструирование однокомбинаторного базиса для λ-термов for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)