An associative operation on monogenic left distributive systems
Patrick Dehornoy (1995)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Term substitution induces an associative operation on the free objects of any equational variety. In the case of left distributivity, the construction can be extended to any monogenic structure.