Shuichi Yukita Category Theory Using Haskell - 2025 - Springer Nature Switzerland 2025 - Computer Science Foundations and Applied Logic . ISBN: 9783031685385 Subjects--Topical Terms: Computer Science