Синтаксическое исчисление ламбека и его семантика.

##plugins.themes.bootstrap3.article.main##

V. Bushkovskij

Abstract

В этой статье представлен обзор важнейших понятий и результатов, касающихся синтаксического исчисления Ламбека [25] и его вариантов; при этом особо рассматривается алгебраическая и лямбда-семантика. Подробное изложение этих вопросов имеется в книге Бушковского [12].

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers