@misc{indiciaebe020ccdc947,
  title = {Computational Higher Type Theory I: Abstract Cubical Realizability},
  author = {Carlo Angiuli and Robert Harper and Todd Wilson},
  year = {2016},
  url = {https://arxiv.org/abs/1604.08873},
  note = {Source identifier: 1604.08873}
}