Аппликативные вычислительные системы
Прикладные вычислительные системы Основы прикладных вычислительных систем ACS основаны на комбинаторной логике и лямбда-исчислении. Основное понятие – представление объекта. Комбинаторная […]
Вики
Applicative computing systems
Вики
Категориальная абстрактная машина
Категориальная абстрактная машина Категориальная абстрактная машина (CAM) – модель вычислений для программ, сохраняющая возможности прикладного, функционального или композиционного стиля. CAM