@misc{indiciaeebb6b00812b2,
  title = {On Irrelevance and Algorithmic Equality in Predicative Type Theory},
  author = {Andreas Abel and Gabriel Scherer},
  year = {2012},
  doi = {10.2168/lmcs-8(1:29)2012},
  url = {https://arxiv.org/abs/1203.4716},
  note = {Source identifier: 1203.4716}
}