Refine your search
Availability
-
Bibliographic level
- Статьи из сериальных изданий (1)
- Книги (1)
-
Authors
-
Locations
- Книгохранилище (1)
-
Item types
-
Topics
- экстенсиональность (2)
- Генцена L-система (1)
- Карри парадокс (1)
- Черса-Россера теорема (1)
- абстракция в программировании (1)
- агрегации в программировании (1)
- аппликативная структура (1)
- арифметизация синтаксиса (1)
- арифметика точная (1)
- бинарные отношения (1)
- выражения аппликативного языка (1)
- вычисления аппликативные (1)
- вычисления в декартово замкнутой категории (1)
- вычисления в категории (1)
- вычисления с объектами (1)
- вычислительные системы (1)
- генценовские системы (1)
- дедукция натуральная (1)
- дескрипции (1)
- дескрипции в программировании (1)
- имена в программировании (1)
- интенсиональность (1)
- интенсиональные операторы (1)
- интенсиональные отношения (1)
- истинностные значения (1)
- канонические объекты (1)
- каррирование (1)
- категориальная абстрактная машина (1)
- категориальная комбинаторная логика CCL. (1)
- классы в программировании (1)
- кодирования (1)
- команды (1)
- комбинаторная логика (1)
- комбинаторная логика иллативная (1)
- комбинаторные термы (1)
- комбинаторы (1)
- комбинаторы в программировании (1)
- комбинирование сущностей (1)
- конгруэнтность (1)
- конструкции аппликативного языка (1)
- концепты (1)
- логика высших порядков (1)
- логика объектов (1)
- логика функциональности (1)
- логические произведения (1)
- метаматематика (1)
- натуральные числа (1)
- объекты с типами в программировании (1)
- онтология (1)
- онтология в программировании (1)
- Show more
- Show less