Cronfa - Swansea University Open Access Repository _____________________________________________________________ This is an author produced version of a paper published in : Algebra and Coalgebra in Computer Science. 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings Cronfa URL for this paper: http://cronfa.swan.ac.uk/Record/cronfa7505 _____________________________________________________________ Conference contribution : Altenkirch, T., Morris, P., Forsberg, F. & Setzer, A. (2011). A Categorical Semantics for Inductive-Inductive Definitions. Algebra and Coalgebra in Computer Science. 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings, (pp. 70-84). Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-22944-2_6 _____________________________________________________________ This article is brought to you by Swansea University. Any person downloading material is agreeing to abide by the terms of the repository licence. Authors are personally responsible for adhering to publisher restrictions or conditions. When uploading content they are required to comply with their publisher agreement and the SHERPA RoMEO database to judge whether or not it is copyright safe to add this version of the paper to this repository. http://www.swansea.ac.uk/iss/researchsupport/cronfa-support/