Online Library TheLib.net » Систематическое конструирование однокомбинаторного базиса для λ-термов
cover of the book Систематическое конструирование однокомбинаторного базиса для λ-термов

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

00
28.01.2024
0
0
В этой статье описывается простое замкнутое λ-выражение, при помощи которого можно выразить все прочие λ-выражения. Его построение осуществляется систематическим образом. Полученное λ-выражение является более простым, чем известные из литературы однокомбинаторные базисы.
Download the book Систематическое конструирование однокомбинаторного базиса для λ-термов for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen