TY  - RPRT
TI  - Proceedings 16th Logical and Semantic Frameworks with Applications
AU  - Mauricio Ayala-Rincon
AU  - Eduardo Bonelli
PY  - 2022
DO  - 10.4204/eptcs.357
UR  - https://arxiv.org/abs/2204.03415
ID  - 2204.03415
ER  -