lSpace Monads with arities and their associated theories (history)

January 18, 2011