Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
Guiseppe Longo (auth.), David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (eds.)种类:
年:
1989
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
english
页:
372
ISBN 10:
354051662X
ISBN 13:
9783540516620
系列:
Lecture Notes in Computer Science 389
文件:
PDF, 17.83 MB
IPFS:
,
english, 1989
因版权方投诉,本书无法下载