%0 Conference Paper %1 conf/lics/ThanhCM19 %A Thanh, Cédric Ho %A Curien, Pierre-Louis %A Mimram, Samuel %B LICS %D 2019 %I IEEE %K dblp %P 1-12 %T A Sequent Calculus for Opetopes. %U http://dblp.uni-trier.de/db/conf/lics/lics2019.html#ThanhCM19 %@ 978-1-7281-3608-0

@inproceedings{conf/lics/ThanhCM19, added-at = {2019-08-11T00:00:00.000+0200}, author = {Thanh, Cédric Ho and Curien, Pierre-Louis and Mimram, Samuel}, biburl = {https://www.bibsonomy.org/bibtex/22dcdcf906c06e2d038075ca69cd327e0/dblp}, booktitle = {LICS}, crossref = {conf/lics/2019}, ee = {https://doi.org/10.1109/LICS.2019.8785667}, interhash = {9e48489b1c3a08c9958ec472f89c609b}, intrahash = {2dcdcf906c06e2d038075ca69cd327e0}, isbn = {978-1-7281-3608-0}, keywords = {dblp}, pages = {1-12}, publisher = {IEEE}, timestamp = {2019-10-17T15:57:35.000+0200}, title = {A Sequent Calculus for Opetopes.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2019.html#ThanhCM19}, year = 2019 }