TY - BOOK A1 - D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.( TI - Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings PB - کتابخانه پژوهشگاه دانشهای بنیادی SN - 101373314 UR /book/101373314/Category-theory-and-computer-science-Edinburgh/ ER -