@inproceedings{inproceedings, title = {{A Categorical Semantics for Inductive-Inductive Definitions.}}, publisher = {{Springer}}, url = {{https://doi.org/10.1007/978-3-642-22944-2 }}, year = {{2011}}, month = {{1}}, author = {{Altenkirch T and Morris P and Forsberg FN and Setzer A}}, isbn = {{978-3-642-22943-5}}, volume = {{6859}}, journal = {{CALCO}}, pages = {{70-84}}, note = {{Accessed on 2025/05/24}}}