@InProceedings{txa:catind2,
  author = 	 {Thorsten Altenkirch and Fredrik Nordvall Forsberg and Peter Morris and Anton Setzer},
  title = 	 {A categorical semantics for inductive-inductive definitions},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle =	 {CALCO 2011: Fourth International Conference on Algebra and Coalgebra in Computer Science},
  OPTpages = 	 {},
  year =	 {2011},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  note =	 {to appear},
  OPTannote = 	 {}
}