APA (7th ed.) Citation

Dean, C. J., Finster, E., Markakis, I., Reutter, D., & Vicary, J. (2022). Computads for weak $ω$-categories as an inductive type.

Chicago Style (17th ed.) Citation

Dean, Christopher J., Eric Finster, Ioannis Markakis, David Reutter, and Jamie Vicary. Computads for Weak $ω$-categories as an Inductive Type. 2022.

MLA (9th ed.) Citation

Dean, Christopher J., et al. Computads for Weak $ω$-categories as an Inductive Type. 2022.