@article{cubicaltt,
  author = {Cohen, Cyril and Coquand, Thierry and Huber, Simon and M\"ortberg, Anders},
  title  = {{Cubical Type Theory: a constructive interpretation of the univalence axiom}},
  note   = {\url{https://arxiv.org/abs/1611.02108}},
  year   = 2016,
  journal = {ArXiv e-prints},
}