[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Categorical semantics for programming languages
Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
- 作者Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
- 文件大小771.65KB
- 发表时间1990
- DOI10.1007/BFb0040271
- 页码402-417