Spahn
Lawvere et al, algebraic theories (history)

February 14, 2013