Thierry Coquand,
Fabian Ruch,
Christian Sattler
Mathematical Structures in Computer Science
-
2021