@misc{indiciae07e04d3780d1,
  title = {Propositional equality, identity types, and direct computational paths},
  author = {Ruy J. G. B. de Queiroz and Anjolina G. de Oliveira},
  year = {2013},
  url = {https://arxiv.org/abs/1107.1901},
  note = {Source identifier: 1107.1901}
}