TY  - RPRT
TI  - Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
AU  - Dale Miller
AU  - Ivan Scagnetto
PY  - 2019
DO  - 10.4204/eptcs.307
UR  - https://arxiv.org/abs/1910.08712
ID  - 1910.08712
ER  -