TY  - RPRT
TI  - Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice
AU  - Iliano Cervesato
AU  - Kaustuv Chaudhuri
PY  - 2015
DO  - 10.4204/eptcs.185
UR  - https://arxiv.org/abs/1507.07597
ID  - 1507.07597
ER  -