@misc{indiciae48c81ded31fc,
  title = {Game Semantics for Martin-Löf Type Theory},
  author = {Norihiro Yamada},
  year = {2021},
  url = {https://arxiv.org/abs/1610.01669},
  note = {Source identifier: 1610.01669}
}