返回Google圖書搜尋

Category Theory and Programming Language Semantics

其他書名	An Overview
出版	Chalmers Tekniska Högskola/Göteborgs Universitet. Programming Methodology Group, 1986
URL	http://books.google.com.hk/books?id=y8rmHAAACAAJ&hl=&source=gbs_api