Категоріальна абстрактна машина () — це модель обчислення програми, в якій спостерегаються особливості апплікативного, функціонального або композиційного стиля. Вона підтримується технікою апплікативного обчислення.
Див. також
Categorical Abstract Machine Language
Література
Cousineau G., Curien P.-L., Mauny M. The categorical abstract machine. — LNCS, 201, Functional programming languages computer architecture.-- 1985, pp.~50-64. Вольфенгаген В. Э. Категориальная абстрактная машина. Конспект лекций: введение в вычисления. — 2-е изд. — М: АО «Центр ЮрИнфоР», 2002. — 96 с ISBN 5-89158-102-7.