Initial Algebra Semantics

Short introduction to Initial Algebra Semantics…