@article{shulman-2017-brouwer, title={Brouwer’s fixed-point theorem in real-cohesive homotopy type theory}, volume={28}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/s0960129517000147}, DOI={10.1017/s0960129517000147}, number={6}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={SHULMAN, MICHAEL}, year={2017}, month=Aug, pages={856–941} }