[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 283 || Categories and effective computations
Pitt, David H.; Poigné, Axel; Rydeheard, David E.
- 作者Pitt, David H.; Poigné, Axel; Rydeheard, David E.
- 文件大小649.56KB
- 发表时间1987
- DOI10.1007/3-540-18508-9_17
- 页码1-11