APA (7th ed.) Citation

Coquand, T., Lombardi, H., & Neuwirth, S. (2022). Constructive theory of ordinals.

Chicago Style (17th ed.) Citation

Coquand, Thierry, Henri Lombardi, and Stefan Neuwirth. Constructive Theory of Ordinals. 2022.

MLA (9th ed.) Citation

Coquand, Thierry, et al. Constructive Theory of Ordinals. 2022.