@misc{indiciae7b28dbe11463,
  title = {Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice},
  author = {Frédéric Blanqui and Giselle Reis},
  year = {2018},
  doi = {10.4204/eptcs.274},
  url = {https://arxiv.org/abs/1807.01352},
  note = {Source identifier: 1807.01352}
}