"11th Workshop on Logical and Semantic Frameworks with Applications, LSFA ..."

Vivek Nigam, Mário Florido (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics