Theoretical Computer Science, Volume 781

Volume 781, August 2019

Logical and Semantic Frameworks with Applications
a service of Schloss Dagstuhl - Leibniz Center for Informatics