"3rd International Conference on Formal Structures for Computation and ..."

Hélène Kirchner (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics