@misc{indiciaeccbc35dd22b4,
  title = {Kripke Semantics for Martin-Löf's Extensional Type Theory},
  author = {Steve Awodey and Florian Rabe},
  year = {2011},
  doi = {10.2168/lmcs-7(3:18)2011},
  url = {https://arxiv.org/abs/1109.1702},
  note = {Source identifier: 1109.1702}
}