ID:DA06688657
L.M.S. Durham Symposium on Applications of Categories in Computer Science
LMS Symposium on Applications of Categories in Computer Science
同姓同名の著者を検索
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts
Cambridge University Press 1992 London Mathematical Society lecture note series 177
所蔵館69館