TY  - RPRT
TI  - Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications
AU  - Daniele Nantes-Sobrinho
AU  - Pascal Fontaine
PY  - 2023
DO  - 10.4204/eptcs.376
UR  - https://arxiv.org/abs/2303.12680
ID  - 2303.12680
ER  -