Initial algebra semantics
Joseph A. Goguen, J. W. Thatcher · 1974
Many apparently divergent approaches to specifying formal semantics for programming languages are applications of initial algebra semantics. Here we provide an overview of the concept of initial algebra semantics.