TY  - BOOK
A1  - Andrea Asperti, Giuseppe Longo
TI  - Categories, types, and structures : an introduction to category theory for the working computer scientist
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101372568
UR  /book/101372568/Categories-types-and-structures-an-introductio/
ER  -