登入選單

返回Google圖書搜尋

Computing with Categories

University of Edinburgh. Laboratory for Foundations of Computer ScienceR. M. BurstallDavid Rydeheard

出版	Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, 1986
URL	http://books.google.com.hk/books?id=z-FMHQAACAAJ&hl=&source=gbs_api