发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 530 || Categories of information systems

Pitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew M.; Poigné, Axel; Rydeheard, David E.

作者Pitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew M.; Poigné, Axel; Rydeheard, David E.
文件大小935.86KB
发表时间1991
DOI10.1007/BFb0013456
页码37-52