Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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