lSpace Algebraic theories, monads, and arities (history)

October 17, 2011