Category theory for computing science是非常值得重读的数学著作，适合学习中的计算机科学家，逻辑学家，语言学家等，可以作为范畴论的入门书籍
2022-08-01 11:04:05
2.39MB
1