TY - GEN T1 - Algebraic Theories and (Infinity,1)-Categories PY - 2010/11/14 AU - Cranch J ED - Y2 - 2024/12/22 ER -