@BOOK{ Book!D - 101372568,
AUTHOR = "Andrea Asperti, Giuseppe Longo",
TITLE = "Categories, types, and structures : an introduction to category theory for the working computer scientist",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Programming languages )Electronic computers(,، Categories )Mathematics(",
URL = "/book/101372568/Categories-types-and-structures-an-introductio/"}