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

##plugins.themes.bootstrap3.article.sidebar##

PDF (Русский)
Published: 22.04.1993
DOI: https://doi.org/10.21146/2074-1472-1993-1-0-77-96

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

V. Bushkovskij

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
Vol 1 (1993)
Section
Papers