Felix Cherubini
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
-
2024
Felix Cherubini,
Thierry Coquand,
Matthias Hutzler
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
-
2024