@inproceedings{ahrens-2020-a, series={LICS ’20}, title={A Higher Structure Identity Principle}, url={http://dx.doi.org/10.1145/3373718.3394755}, DOI={10.1145/3373718.3394755}, booktitle={Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher={ACM}, author={Ahrens, Benedikt and North, Paige Randall and Shulman, Michael and Tsementzis, Dimitris}, year={2020}, month=July, pages={53–66}, collection={LICS ’20} }