BY-NC-ND 3.0 license Open Access Published by De Gruyter Open Access October 8, 2013

The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm

Richard Laver and Sheila Miller
From the journal Open Mathematics