%0 Conference Paper %1 conf/calco/AltenkirchMFS11 %A Altenkirch, Thorsten %A Morris, Peter %A Forsberg, Fredrik Nordvall %A Setzer, Anton %B CALCO %D 2011 %E Corradini, Andrea %E Klin, Bartek %E Cîrstea, Corina %I Springer %K dblp %P 70-84 %T A Categorical Semantics for Inductive-Inductive Definitions. %U http://dblp.uni-trier.de/db/conf/calco/calco2011.html#AltenkirchMFS11 %V 6859 %@ 978-3-642-22943-5

@inproceedings{conf/calco/AltenkirchMFS11, added-at = {2019-06-02T00:00:00.000+0200}, author = {Altenkirch, Thorsten and Morris, Peter and Forsberg, Fredrik Nordvall and Setzer, Anton}, biburl = {https://www.bibsonomy.org/bibtex/2515d6b02f7530706b6277a8e25ac03bb/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2011}, editor = {Corradini, Andrea and Klin, Bartek and Cîrstea, Corina}, ee = {https://www.wikidata.org/entity/Q61583756}, interhash = {fa3af9a32587c5472071061c163b7903}, intrahash = {515d6b02f7530706b6277a8e25ac03bb}, isbn = {978-3-642-22943-5}, keywords = {dblp}, pages = {70-84}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:32:35.000+0200}, title = {A Categorical Semantics for Inductive-Inductive Definitions.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2011.html#AltenkirchMFS11}, volume = 6859, year = 2011 }