TY  - RPRT
TI  - Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
AU  - Alberto Ciaffaglione
AU  - Carlos Olarte
PY  - 2023
DO  - 10.4204/eptcs.396
UR  - https://arxiv.org/abs/2311.09918
ID  - 2311.09918
ER  -