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