TY  - RPRT
TI  - Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
AU  - Frédéric Blanqui
AU  - Giselle Reis
PY  - 2018
DO  - 10.4204/eptcs.274
UR  - https://arxiv.org/abs/1807.01352
ID  - 1807.01352
ER  -