Citazione Stile APA (7a Edizione)

Alexandru, C., Choudhury, V., Rot, J., & van der Weide, N. (2024). Intrinsically Correct Sorting in Cubical Agda.

Citazione stile Chigago Style (17a edizione)

Alexandru, Cass, Vikraman Choudhury, Jurriaan Rot, e Niels van der Weide. Intrinsically Correct Sorting in Cubical Agda. 2024.

Citatione MLA (9a ed.)

Alexandru, Cass, et al. Intrinsically Correct Sorting in Cubical Agda. 2024.