Logical Methods in Computer Science, Volume 15

Volume 15, Number 1, 2019

Type theory and constructive mathematics

Volume 15, Number 2, 2019

Volume 15, Number 3, 2019

Volume 15, Number 4, 2019

a service of Schloss Dagstuhl - Leibniz Center for Informatics