[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 283 || Logical aspects of denotational semantics
Pitt, David H.; Poigné, Axel; Rydeheard, David E.
- 作者Pitt, David H.; Poigné, Axel; Rydeheard, David E.
- 文件大小1110.27KB
- 发表时间1987
- DOI10.1007/3-540-18508-9_29
- 页码238-253