Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications

Cynthia Kop, Helida Salles Santos

This volume contains the post-proceedings of the 19th LSFA, which was held in Goiânia, the capital of Goiás state in Brazil, from September 18 to September 20, 2024. Logical and…