%0 Conference Paper %1 journals/entcs/CottrellFP18 %A Cottrell, Thomas %A Fujii, Soichiro %A Power, John %B MFPS %D 2018 %E Staton, Sam %I Elsevier %K dblp %P 73-90 %T Higher Dimensional Categories: Induction on Extensivity. %U http://dblp.uni-trier.de/db/journals/entcs/entcs341.html#CottrellFP18 %V 341

@inproceedings{journals/entcs/CottrellFP18, added-at = {2024-10-06T00:00:00.000+0200}, author = {Cottrell, Thomas and Fujii, Soichiro and Power, John}, biburl = {https://www.bibsonomy.org/bibtex/20d1bc0723a25416cb44cb6c89bac4bde/dblp}, booktitle = {MFPS}, crossref = {conf/mfps/2018}, editor = {Staton, Sam}, ee = {https://www.wikidata.org/entity/Q113317494}, interhash = {a9f7cd872aea51281d3800104b5ef9ab}, intrahash = {0d1bc0723a25416cb44cb6c89bac4bde}, keywords = {dblp}, pages = {73-90}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-10-07T08:39:37.000+0200}, title = {Higher Dimensional Categories: Induction on Extensivity.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs341.html#CottrellFP18}, volume = 341, year = 2018 }