Mario R. F. Benevides, René Thiemann: Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015. Electronic Notes in Theoretical Computer Science 323, Elsevier 2016