@misc{indiciae61a6680c76f2,
  title = {Game-theoretic Investigation of Intensional Equalities},
  author = {Norihiro Yamada},
  year = {2017},
  url = {https://arxiv.org/abs/1703.02015},
  note = {Source identifier: 1703.02015}
}