Синтаксическое исчисление ламбека и его семантика.
##plugins.themes.bootstrap3.article.main##
Abstract
В этой статье представлен обзор важнейших понятий и результатов, касающихся синтаксического исчисления Ламбека [25] и его вариантов; при этом особо рассматривается алгебраическая и лямбда-семантика. Подробное изложение этих вопросов имеется в книге Бушковского [12].
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Bushkovskij V. Синтаксическое исчисление ламбека и его семантика. // Logicheskie Issledovaniya / Logical Investigations. 1993. VOL. 1. C. 77-96.
Issue
Section
Papers