TY  - RPRT
TI  - Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
AU  - Claudio Sacerdoti Coen
AU  - Alwen Tiu
PY  - 2021
DO  - 10.4204/eptcs.332
UR  - https://arxiv.org/abs/2101.02835
ID  - 2101.02835
ER  -