Engineering↗
Terms, Term Algebras and Term Operations
Terms as syntactic objects, the term algebra T(X) and its absolute freeness, the distinction between a term and the operation it induces, and why the term algebra is the referen…
Every page in the KEVOS library tagged term algebra. 1 page.