%0 Conference Paper %1 conf/fossacs/AltenkirchCDKF18 %A Altenkirch, Thorsten %A Capriotti, Paolo %A Dijkstra, Gabe %A Kraus, Nicolai %A Forsberg, Fredrik Nordvall %B FoSSaCS %D 2018 %E Baier, Christel %E Lago, Ugo Dal %I Springer %K dblp %P 293-310 %T Quotient Inductive-Inductive Types. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2018.html#AltenkirchCDKF18 %V 10803 %@ 978-3-319-89366-2

@inproceedings{conf/fossacs/AltenkirchCDKF18, added-at = {2019-06-02T00:00:00.000+0200}, author = {Altenkirch, Thorsten and Capriotti, Paolo and Dijkstra, Gabe and Kraus, Nicolai and Forsberg, Fredrik Nordvall}, biburl = {https://www.bibsonomy.org/bibtex/2c878123edce4fef23f182acb1486cce9/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2018}, editor = {Baier, Christel and Lago, Ugo Dal}, ee = {https://www.wikidata.org/entity/Q61583552}, interhash = {838db8b5f2d6b0e2a4605e914b74e0f0}, intrahash = {c878123edce4fef23f182acb1486cce9}, isbn = {978-3-319-89366-2}, keywords = {dblp}, pages = {293-310}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:02:52.000+0200}, title = {Quotient Inductive-Inductive Types.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2018.html#AltenkirchCDKF18}, volume = 10803, year = 2018 }