Thorsten Altenkirch, Nuo Li, Ondrej Rypacek. Some constructions on ω-groupoids. In Amy P. Felty, Brigitte Pientka, editors, Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014. ACM, 2014. [doi]
Abstract is missing.