Sandra Alves, Renata Wasserman, editors, 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017. Volume 338 of Electronic Notes in Theoretical Computer Science, Elsevier, 2018. [doi]
Conference: LSFA2018
Abstract is missing.