Felix Cherubini,
Thierry Coquand,
Freek Geerligs,
Hugo Moeneclaey
Leibniz International Proceedings in Informatics Lipics
-
2025