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

Article Sidebar

PDF
Опубликован: 22.04.1993
DOI: https://doi.org/10.21146/2074-1472-1993-1-0-77-96

Main Article Content

В. Бушковский

Аннотация

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

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Бушковский В. Синтаксическое исчисление ламбека и его семантика. // Логические исследования / Logical Investigations. 1993. Т. 1. C. 77-96.
Выпуск
Том 1 (1993)
Раздел
Статьи