Unboxing Algebraic Theories of Generalised Arities


May 12, 2017