shulman-2017-brouwer:
  type: article
  title: Brouwer’s fixed-point theorem in real-cohesive homotopy type theory
  author: SHULMAN, MICHAEL
  date: 2017-08
  page-range: 856-941
  url: http://dx.doi.org/10.1017/s0960129517000147
  serial-number:
    doi: 10.1017/s0960129517000147
    issn: 1469-8072
  parent:
    type: periodical
    title: Mathematical Structures in Computer Science
    publisher: Cambridge University Press (CUP)
    issue: 6
    volume: 28