# zbMATH — the first resource for mathematics

The categorical abstract machine. (English) Zbl 0634.68078
A very simple machine called categorical abstract machine (CAM) is described where categorical terms can be considered as a code acting on a graph of values. The only saving mechanism is a stack containing pointers on code or on the graph. Further, there is discussed the implementation of functional programming languages with static binding variables, i.e. $$\lambda$$-calculus based languages.
Reviewer: V.Kurkova-Pohlova

##### MSC:
 68Q45 Formal languages and automata 18B20 Categories of machines, automata 03B40 Combinatory logic and lambda calculus 18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
Full Text: