TY  - RPRT
TI  - Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
AU  - Cynthia Kop
AU  - Helida Salles Santos
PY  - 2025
DO  - 10.4204/eptcs.421
UR  - https://arxiv.org/abs/2506.05219
ID  - 2506.05219
ER  -