TY  - BOOK
AU  - Вольфенгаген,Вячеслав Эрнстович
TI  - Методы и средства вычислений с объектами: аппликативные вычислительные системы
T2  - Библиотека "ЮрИнфоР". Серия : компьютерные науки и информационные технологии
SN  - 5891581000
PY  - 2004///
CY  - Москва
PB  - Центр ЮрИнфоР
KW  - вычислительные системы
KW  - RuMorurkp
KW  - классы в программировании
KW  - типы в программировании
KW  - вычисления аппликативные
KW  - системы объектов в программировании
KW  - комбинаторы в программировании
KW  - агрегации в программировании
KW  - отношения в программировании
KW  - онтология в программировании
KW  - абстракция в программировании
KW  - дескрипции в программировании
KW  - логические произведения
KW  - имена в программировании
KW  - экстенсиональность
KW  - конгруэнтность
KW  - Черса-Россера теорема
KW  - истинностные значения
KW  - натуральные числа
KW  - комбинаторы
KW  - комбинирование сущностей
KW  - содержательный смысл операторов
KW  - комбинаторная логика
KW  - редукция
KW  - теория вычислений
KW  - вычисления в декартово замкнутой категории
KW  - теория функций
KW  - теория типов в программировании
KW  - каррирование
KW  - теория-оболочка
KW  - логика высших порядков
KW  - структура предметной области
KW  - концепты
KW  - дескрипции
KW  - эквациональная теория
KW  - интенсиональные операторы
KW  - бинарные отношения
KW  - экстенсиональные отношения
KW  - интенсиональные отношения
KW  - экстенсиональное равенство
KW  - языки программирования
KW  - рекурсивных функций представление
KW  - кодирования
KW  - категориальная абстрактная машина
KW  - категориальная комбинаторная логика CCL
KW  - команды
KW  - конструкции аппликативного языка
KW  - синтаксис абстрактный
KW  - выражения аппликативного языка
KW  - синтаксические соглашения
KW  - структуры данных
KW  - семантика конструкций языка
KW  - аппликативная структура
KW  - объекты с типами в программировании
KW  - комбинаторные термы
KW  - стратифицированные объекты
KW  - теорема объектной редукции
KW  - логика функциональности
KW  - генценовские системы
KW  - дедукция натуральная
KW  - Генцена L-система
KW  - логика объектов
KW  - комбинаторная логика иллативная
KW  - Карри парадокс
KW  - теорема дедукции
KW  - канонические объекты
KW  - арифметика точная
KW  - вычисления с объектами
KW  - вычисления в категории
N1  - Библиогр.: с. 703-730
ER  -