Electronic Notes in Theoretical Computer Science, Volume 344

Volume 344, August 2019

The proceedings of LSFA 2018, the 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA’18)
a service of Schloss Dagstuhl - Leibniz Center for Informatics