Систематическое конструирование однокомбинаторного базиса для λ-термов
Фоккер Е.
В этой статье описывается простое замкнутое λ-выражение, при помощи которого можно выразить все прочие λ-выражения. Его построение осуществляется систематическим образом. Полученное λ-выражение является более простым, чем известные из литературы однокомбинаторные базисы.
Litres
あなたの書店を追加したいですか？support@z-lib.doまでお問い合わせください。
ファイル拡張子変換機能
検索結果をもっと見る
その他多くの特典 
