@misc{indiciaee70d5fe334ed,
  title = {Cubical Type Theory: a constructive interpretation of the univalence axiom},
  author = {Cyril Cohen and Thierry Coquand and Simon Huber and Anders Mörtberg},
  year = {2016},
  url = {https://arxiv.org/abs/1611.02108},
  note = {Source identifier: 1611.02108}
}