TY  - RPRT
TI  - Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
AU  - Haniel Barbosa
AU  - Christophe Ringeissen
PY  - 2025
DO  - 10.4204/eptcs.430
UR  - https://arxiv.org/abs/2509.23739
ID  - 2509.23739
ER  -