"Proceedings Eighth Workshop on Mathematically Structured Functional ..."

Max S. New, Sam Lindley (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics