Cláudia Nalon, Giselle Reis. Preface. In Cláudia Nalon, editor, Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2019. Volume 351 of Electronic Notes in Theoretical Computer Science, pages 1-2, Elsevier, 2020. [doi]
Abstract is missing.