Christian Sattler,
David Wärn
Proceedings - Symposium on Logic in Computer Science
-
2024
Thierry Coquand,
Fabian Ruch,
Christian Sattler
Mathematical Structures in Computer Science
-
2021