TY - CONF T1 - A Categorical Semantics for Inductive-Inductive Definitions. JO - CALCO UR - https://doi.org/10.1007/978-3-642-22944-2 PY - 2011/01/01 AU - Altenkirch T AU - Morris P AU - Forsberg FN AU - Setzer A ED - Corradini A ED - Klin B ED - C卯rstea C PB - Springer SN - 978-3-642-22943-5 VL - 6859 SP - 70 EP - 84 Y2 - 2025/05/20 ER -