@misc{indiciae5b521c2266b3,
  title = {Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance},
  author = {William Lovas and Frank Pfenning},
  year = {2010},
  doi = {10.2168/lmcs-6(4:5)2010},
  url = {https://arxiv.org/abs/1009.1861},
  note = {Source identifier: 1009.1861}
}