Algebraic Semantics
Eric G. Wagner · 1995
Abstract The term ‘algebraic semantics’ as used in this chapter, refers to certain approaches to the study of iteration and recursion using either universal algebra or the categorical approach to universal algebra based on Lawvere’s ‘algebraic theories’. The aim of this work is to provide a unified theory of iteration and recursion which covers the common properties of all examples of iteration and recursion. Thus, as we will show, algebraic semantics provides a uniform treatment of the theory of such seemingly diverse subjects as context-free grammars, flowcharts, recursion schemata, and recursively defined domains.