A Categorical Semantics for Inductive-Inductive Definitions
| Date first appeared online | 25/08/2011 |
| DOI | 10.1007/978-3-642-22944-2_6 |
| Authors | Setzer A. |
| Journal Name | Algebra and Coalgebra in Computer Science. 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings |
| Volume | 6859 |