1 paper
Daniele Nantes-Sobrinho, Pascal Fontaine
This volume contains the post-proceedings of the Seventeenth Logical and Semantic Frameworks with Applications (LSFA 2022), organised by the Universidade Federal de Minas Gerais, B…