In this talk I will present in an elementary manner what is the algebra of terms for a given signature (a so called syntax), and show the interplay between such an algebra and a coalgebra, reflecting the relationship between syntax and semantics.
In this talk I will present in an elementary manner what is the algebra of terms for a given signature (a so called syntax), and show the interplay between such an algebra and a coalgebra, reflecting the relationship between syntax and semantics.