TY  - RPRT
TI  - Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
AU  - Elaine Pimentel
AU  - Enrico Tassi
PY  - 2021
DO  - 10.4204/eptcs.337
UR  - https://arxiv.org/abs/2107.07376
ID  - 2107.07376
ER  -