@misc{indiciae161cb2ea798f,
  title = {Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice},
  author = {Herman Geuvers and Gopalan Nadathur},
  year = {2011},
  doi = {10.4204/eptcs.71},
  url = {https://arxiv.org/abs/1110.6685},
  note = {Source identifier: 1110.6685}
}