%0 Conference Paper %1 conf/RelMiCS/Winter17 %A Winter, Michael %B RAMiCS %D 2017 %E Höfner, Peter %E Pous, Damien %E Struth, Georg %K dblp %P 307-322 %T Type-n Arrow Categories. %U http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2017.html#Winter17 %V 10226 %@ 978-3-319-57418-9

@inproceedings{conf/RelMiCS/Winter17, added-at = {2020-04-01T00:00:00.000+0200}, author = {Winter, Michael}, biburl = {https://www.bibsonomy.org/bibtex/28e2ae070d16e0adb52f29e013e5a1d8f/dblp}, booktitle = {RAMiCS}, crossref = {conf/RelMiCS/2017}, editor = {Höfner, Peter and Pous, Damien and Struth, Georg}, ee = {https://doi.org/10.1007/978-3-319-57418-9_19}, interhash = {1a5e65fac482a2396c513378089da8e3}, intrahash = {8e2ae070d16e0adb52f29e013e5a1d8f}, isbn = {978-3-319-57418-9}, keywords = {dblp}, pages = {307-322}, series = {Lecture Notes in Computer Science}, timestamp = {2020-04-02T12:11:04.000+0200}, title = {Type-n Arrow Categories.}, url = {http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2017.html#Winter17}, volume = 10226, year = 2017 }