Tag

term algebra

1 resource tagged “term algebra” across the knowledge library.

1 item

Guide6 Aug 2026Terms, Term Algebras and Term OperationsTerms 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 reference object for equational reasoning.6 min readRead More