APA (7th ed.) Citation

SHULMAN, M. (2018). Brouwer's fixed-point theorem in real-cohesive homotopy type theory. Mathematical structures in computer science, 28(6), 856-941. https://doi.org/10.1017/S0960129517000147

Chicago Style (17th ed.) Citation

SHULMAN, MICHAEL. "Brouwer's Fixed-point Theorem in Real-cohesive Homotopy Type Theory." Mathematical Structures in Computer Science 28, no. 6 (2018): 856-941. https://doi.org/10.1017/S0960129517000147.

MLA (9th ed.) Citation

SHULMAN, MICHAEL. "Brouwer's Fixed-point Theorem in Real-cohesive Homotopy Type Theory." Mathematical Structures in Computer Science, vol. 28, no. 6, 2018, pp. 856-941, https://doi.org/10.1017/S0960129517000147.