Style de citation APA (7e éd.)

Coquand, T., Höfer, J., & Sattler, C. (2026). Constructive higher sheaf models with applications to synthetic mathematics.

Style de citation Chicago (17e éd.)

Coquand, Thierry, Jonas Höfer, et Christian Sattler. Constructive Higher Sheaf Models with Applications to Synthetic Mathematics. 2026.

Style de citation MLA (9e éd.)

Coquand, Thierry, et al. Constructive Higher Sheaf Models with Applications to Synthetic Mathematics. 2026.