TY - RPRT TI - Higher Lawvere theories AU - John D. Berman PY - 2019 UR - https://arxiv.org/abs/1903.02991 ID - 1903.02991 ER -